Anne is furry. Charlie is furry. Charlie is white. Dave is furry. Dave is nice. Dave is quiet. Dave is rough. Dave is white. Fiona is rough. Fiona is white. If something is rough and quiet then it is big. If something is rough and white then it is big.
Anne is furry.
("Anne" "is" "furry" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If something is rough and quiet then it is big.
((("something" "is" "rough" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "big" "+"))
If something is rough and white then it is big.
((("something" "is" "rough" "+") ("something" "is" "white" "+")) -> ("something" "is" "big" "+"))
Dave is furry.
True
1
proof
[(triple4)]
("Dave" "is" "furry" "+")
triple4
Charlie is not furry.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "furry" "-")
triple2
Dave is big.
True
3
proof
[(((triple7 triple6) -> rule1) OR ((triple7 triple8) -> rule2))]
("Dave" "is" "big" "+")
((triple7 triple6) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((triple7 triple8) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Fiona is not big.
False
3
inv-proof
[(((triple9 triple10) -> rule2))]
("Fiona" "is" "big" "-")
((triple9 triple10) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Anne is not big.
Unknown
inv-rconc
[@1: Anne is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "big" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "big" "+")
Anne is not blue.
Unknown
inv-random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
@0: Anne is furry.[(triple1)] Charlie is furry.[(triple2)] Charlie is white.[(triple3)] Dave is furry.[(triple4)] Dave is nice.[(triple5)] Dave is quiet.[(triple6)] Dave is rough.[(triple7)] Dave is white.[(triple8)] Fiona is rough.[(triple9)] Fiona is white.[(triple10)] @1: Dave is big.[(((triple7 triple6) -> rule1) OR ((triple7 triple8) -> rule2))] Fiona is big.[(((triple9 triple10) -> rule2))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple2
Charlie is white.
("Charlie" "is" "white" "+")
triple3
Dave is furry.
("Dave" "is" "furry" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple5
Dave is quiet.
("Dave" "is" "quiet" "+")
triple6
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Dave is white.
("Dave" "is" "white" "+")
triple8
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple10
Dave is big.
("Dave" "is" "big" "+")
((triple7 triple6) -> (rule1 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
((triple7 triple8) -> (rule2 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((triple9 triple10) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1