Bob is blue. Bob is furry. Bob is kind. Bob is round. Bob is young. Dave is blue. Dave is furry. Dave is nice. Erin is blue. Erin is furry. Erin is round. Gary is blue. Gary is kind. Gary is quiet. Gary is round. Gary is young. If someone is round then they are blue. All young people are nice. If someone is furry and round then they are kind.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is young.
("Bob" "is" "young" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is round.
("Erin" "is" "round" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is round then they are blue.
((("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
All young people are nice.
((("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is furry and round then they are kind.
((("someone" "is" "furry" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
Dave is furry.
True
1
proof
[(triple7)]
("Dave" "is" "furry" "+")
triple7
Bob is not blue.
False
1
inv-proof
[(triple1 OR ((triple4) -> rule1))]
("Bob" "is" "blue" "-")
triple1
((triple4) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Dave is not kind.
Unknown
inv-rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "kind" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Bob is blue.[(triple1 OR ((triple4) -> rule1))] Bob is furry.[(triple2)] Bob is kind.[(triple3 OR ((triple2 triple4) -> rule3))] Bob is round.[(triple4)] Bob is young.[(triple5)] Dave is blue.[(triple6)] Dave is furry.[(triple7)] Dave is nice.[(triple8)] Erin is blue.[(triple9 OR ((triple11) -> rule1))] Erin is furry.[(triple10)] Erin is round.[(triple11)] Gary is blue.[(triple12 OR ((triple15) -> rule1))] Gary is kind.[(triple13)] Gary is quiet.[(triple14)] Gary is round.[(triple15)] Gary is young.[(triple16)] @1: Bob is nice.[(((triple5) -> rule2))] Erin is kind.[(((triple10 triple11) -> rule3))] Gary is nice.[(((triple16) -> rule2))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
((triple4) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple3
((triple2 triple4) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple5
Dave is blue.
("Dave" "is" "blue" "+")
triple6
Dave is furry.
("Dave" "is" "furry" "+")
triple7
Dave is nice.
("Dave" "is" "nice" "+")
triple8
Erin is blue.
("Erin" "is" "blue" "+")
triple9
((triple11) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
triple10
Erin is round.
("Erin" "is" "round" "+")
triple11
Gary is blue.
("Gary" "is" "blue" "+")
triple12
((triple15) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
triple13
Gary is quiet.
("Gary" "is" "quiet" "+")
triple14
Gary is round.
("Gary" "is" "round" "+")
triple15
Gary is young.
("Gary" "is" "young" "+")
triple16
Bob is nice.
("Bob" "is" "nice" "+")
((triple5) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((triple10 triple11) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple16) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1