Bob is quiet. Dave is furry. Dave is kind. Dave is quiet. Dave is red. Dave is smart. Dave is young. Erin is kind. Erin is quiet. Erin is red. Erin is white. Gary is kind. Gary is quiet. Gary is red. Gary is young. Kind, red things are young.
Bob is quiet.
("Bob" "is" "quiet" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is young.
("Gary" "is" "young" "+")
Kind, red things are young.
((("something" "is" "kind" "+") ("something" "is" "red" "+")) -> ("something" "is" "young" "+"))
Gary is quiet.
True
1
proof
[(triple13)]
("Gary" "is" "quiet" "+")
triple13
Erin is not quiet.
False
1
inv-proof
[(triple9)]
("Erin" "is" "quiet" "-")
triple9
Erin is young.
True
3
proof
[(((triple8 triple10) -> rule1))]
("Erin" "is" "young" "+")
((triple8 triple10) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is not young.
False
3
inv-proof
[(((triple8 triple10) -> rule1))]
("Erin" "is" "young" "-")
((triple8 triple10) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Bob is not young.
Unknown
inv-rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "young" "-")
Bob is smart.
Unknown
random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "+")
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Gary is furry.
Unknown
random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "+")
@0: Bob is quiet.[(triple1)] Dave is furry.[(triple2)] Dave is kind.[(triple3)] Dave is quiet.[(triple4)] Dave is red.[(triple5)] Dave is smart.[(triple6)] Dave is young.[(triple7 OR ((triple3 triple5) -> rule1))] Erin is kind.[(triple8)] Erin is quiet.[(triple9)] Erin is red.[(triple10)] Erin is white.[(triple11)] Gary is kind.[(triple12)] Gary is quiet.[(triple13)] Gary is red.[(triple14)] Gary is young.[(triple15 OR ((triple12 triple14) -> rule1))] @1: Erin is young.[(((triple8 triple10) -> rule1))]
Bob is quiet.
("Bob" "is" "quiet" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Dave is quiet.
("Dave" "is" "quiet" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple5
Dave is smart.
("Dave" "is" "smart" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple7
((triple3 triple5) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
triple8
Erin is quiet.
("Erin" "is" "quiet" "+")
triple9
Erin is red.
("Erin" "is" "red" "+")
triple10
Erin is white.
("Erin" "is" "white" "+")
triple11
Gary is kind.
("Gary" "is" "kind" "+")
triple12
Gary is quiet.
("Gary" "is" "quiet" "+")
triple13
Gary is red.
("Gary" "is" "red" "+")
triple14
Gary is young.
("Gary" "is" "young" "+")
triple15
((triple12 triple14) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
((triple8 triple10) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1