Anne is green. Anne is round. Anne is white. Dave is rough. Dave is round. Fiona is big. Fiona is green. Fiona is kind. Fiona is round. Fiona is white. All white, green people are quiet. If Fiona is rough then Fiona is kind. If someone is round then they are white. All kind, quiet people are big. Kind, white people are big. Rough, quiet people are kind.
Anne is green.
("Anne" "is" "green" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
All white, green people are quiet.
((("someone" "is" "white" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "quiet" "+"))
If Fiona is rough then Fiona is kind.
((("Fiona" "is" "rough" "+")) -> ("Fiona" "is" "kind" "+"))
If someone is round then they are white.
((("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
All kind, quiet people are big.
((("someone" "is" "kind" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "big" "+"))
Kind, white people are big.
((("someone" "is" "kind" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "big" "+"))
Rough, quiet people are kind.
((("someone" "is" "rough" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "+"))
Fiona is kind.
True
1
proof
[(triple8)]
("Fiona" "is" "kind" "+")
triple8
Fiona is not kind.
False
1
inv-proof
[(triple8)]
("Fiona" "is" "kind" "-")
triple8
Dave is not big.
Unknown
inv-rconc
[@3: Dave is big.[CWA. Example of deepest failure = (rule5 <- rule6 <- rule1 <- FAIL)]]
("Dave" "is" "big" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
@0: Anne is green.[(triple1)] Anne is round.[(triple2)] Anne is white.[(triple3 OR ((triple2) -> rule3))] Dave is rough.[(triple4)] Dave is round.[(triple5)] Fiona is big.[(triple6 OR ((triple8 triple10) -> rule5) OR ((triple8 ((triple9) -> rule3)) -> rule5) OR ((triple8 ((triple10 triple7) -> rule1)) -> rule4) OR ((triple8 ((((triple9) -> rule3) triple7) -> rule1)) -> rule4))] Fiona is green.[(triple7)] Fiona is kind.[(triple8)] Fiona is round.[(triple9)] Fiona is white.[(triple10 OR ((triple9) -> rule3))] @1: Anne is quiet.[(((triple3 triple1) -> rule1) OR ((((triple2) -> rule3) triple1) -> rule1))] Dave is white.[(((triple5) -> rule3))] Fiona is quiet.[(((triple10 triple7) -> rule1) OR ((((triple9) -> rule3) triple7) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
((triple2) -> (rule3 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple6
((triple8 triple10) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple8 ((triple9) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((triple8 ((triple10 triple7) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
((triple8 ((((triple9) -> (rule3 % int3)) triple7) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is round.
("Fiona" "is" "round" "+")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple10
((triple9) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple3 triple1) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
((((triple2) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
((triple5) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple10 triple7) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((((triple9) -> (rule3 % int2)) triple7) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2