Bob is furry. Bob is nice. Bob is quiet. Bob is red. Bob is young. Charlie is not quiet. Charlie is red. Dave is not cold. Dave is nice. Dave is quiet. Quiet, young people are red. All nice, cold people are red. If someone is cold then they are red. If someone is round then they are not cold. Quiet people are not cold. If someone is quiet and cold then they are not furry. All round people are not furry. Round, nice people are not furry.
Bob is furry.
("Bob" "is" "furry" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
Charlie is red.
("Charlie" "is" "red" "+")
Dave is not cold.
("Dave" "is" "cold" "-")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Quiet, young people are red.
((("someone" "is" "quiet" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
All nice, cold people are red.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is cold then they are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is round then they are not cold.
((("someone" "is" "round" "+")) -> ("someone" "is" "cold" "-"))
Quiet people are not cold.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "-"))
If someone is quiet and cold then they are not furry.
((("someone" "is" "quiet" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "-"))
All round people are not furry.
((("someone" "is" "round" "+")) -> ("someone" "is" "furry" "-"))
Round, nice people are not furry.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "furry" "-"))
Charlie is red.
True
1
proof
[(triple7)]
("Charlie" "is" "red" "+")
triple7
Charlie is quiet.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "quiet" "+")
triple6
Dave is not red.
Unknown
inv-rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "red" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Bob is furry.[(triple1)] Bob is nice.[(triple2)] Bob is quiet.[(triple3)] Bob is red.[(triple4 OR ((triple3 triple5) -> rule1))] Bob is young.[(triple5)] Charlie is not quiet.[(triple6)] Charlie is red.[(triple7)] Dave is nice.[(triple9)] Dave is not cold.[(triple8 OR ((triple10) -> rule5))] Dave is quiet.[(triple10)] @1: Bob is not cold.[(((triple3) -> rule5))]
Bob is furry.
("Bob" "is" "furry" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple4
((triple3 triple5) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
triple5
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
triple6
Charlie is red.
("Charlie" "is" "red" "+")
triple7
Dave is nice.
("Dave" "is" "nice" "+")
triple9
Dave is not cold.
("Dave" "is" "cold" "-")
triple8
((triple10) -> (rule5 % int1))
Dave is not cold.
("Dave" "is" "cold" "-")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple10
Bob is not cold.
("Bob" "is" "cold" "-")
((triple3) -> (rule5 % int1))
Bob is not cold.
("Bob" "is" "cold" "-")
int1