Anne is big. Anne is kind. Anne is quiet. Anne is round. Anne is white. Anne is young. Charlie is kind. Charlie is round. Charlie is white. Charlie is young. Round people are quiet. All big people are rough.
Anne is big.
("Anne" "is" "big" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Round people are quiet.
((("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
All big people are rough.
((("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Anne is young.
True
1
proof
[(triple6)]
("Anne" "is" "young" "+")
triple6
Charlie is not round.
False
1
inv-proof
[(triple8)]
("Charlie" "is" "round" "-")
triple8
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is quiet.[(triple3 OR ((triple4) -> rule1))] Anne is round.[(triple4)] Anne is white.[(triple5)] Anne is young.[(triple6)] Charlie is kind.[(triple7)] Charlie is round.[(triple8)] Charlie is white.[(triple9)] Charlie is young.[(triple10)] @1: Anne is rough.[(((triple1) -> rule2))] Charlie is quiet.[(((triple8) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
((triple4) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
triple4
Anne is white.
("Anne" "is" "white" "+")
triple5
Anne is young.
("Anne" "is" "young" "+")
triple6
Charlie is kind.
("Charlie" "is" "kind" "+")
triple7
Charlie is round.
("Charlie" "is" "round" "+")
triple8
Charlie is white.
("Charlie" "is" "white" "+")
triple9
Charlie is young.
("Charlie" "is" "young" "+")
triple10
Anne is rough.
("Anne" "is" "rough" "+")
((triple1) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple8) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1