Bob is red. Bob is rough. Bob is young. Erin is quiet. Erin is rough. Erin is white. Erin is young. Fiona is quiet. Fiona is rough. Fiona is young. If someone is rough and round then they are white. If Fiona is white and Fiona is round then Fiona is young. All rough people are quiet. Red, white people are round. Red, rough people are young. If someone is kind and white then they are red. All young, kind people are quiet. If someone is kind and round then they are quiet.
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If someone is rough and round then they are white.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
If Fiona is white and Fiona is round then Fiona is young.
((("Fiona" "is" "white" "+") ("Fiona" "is" "round" "+")) -> ("Fiona" "is" "young" "+"))
All rough people are quiet.
((("someone" "is" "rough" "+")) -> ("someone" "is" "quiet" "+"))
Red, white people are round.
((("someone" "is" "red" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
Red, rough people are young.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and white then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "red" "+"))
All young, kind people are quiet.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "quiet" "+"))
If someone is kind and round then they are quiet.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
Bob is red.
True
1
proof
[(triple1)]
("Bob" "is" "red" "+")
triple1
Erin is not rough.
False
1
inv-proof
[(triple5)]
("Erin" "is" "rough" "-")
triple5
Bob is not round.
Unknown
inv-rconc
[@2: Bob is round.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Bob" "is" "round" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
@0: Bob is red.[(triple1)] Bob is rough.[(triple2)] Bob is young.[(triple3 OR ((triple1 triple2) -> rule5))] Erin is quiet.[(triple4 OR ((triple5) -> rule3))] Erin is rough.[(triple5)] Erin is white.[(triple6)] Erin is young.[(triple7)] Fiona is quiet.[(triple8 OR ((triple9) -> rule3))] Fiona is rough.[(triple9)] Fiona is young.[(triple10)] @1: Bob is quiet.[(((triple2) -> rule3))]
Bob is red.
("Bob" "is" "red" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple3
((triple1 triple2) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
triple4
((triple5) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Erin is white.
("Erin" "is" "white" "+")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple8
((triple9) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
Fiona is young.
("Fiona" "is" "young" "+")
triple10
Bob is quiet.
("Bob" "is" "quiet" "+")
((triple2) -> (rule3 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1