Anne is big. Anne is rough. Charlie is big. Charlie is quiet. Charlie is rough. Charlie is white. Erin is big. Erin is quiet. Harry is big. Harry is smart. Young, quiet things are white. If something is rough and young then it is big.
Anne is big.
("Anne" "is" "big" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Young, quiet things are white.
((("something" "is" "young" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "white" "+"))
If something is rough and young then it is big.
((("something" "is" "rough" "+") ("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
Harry is big.
True
1
proof
[(triple9)]
("Harry" "is" "big" "+")
triple9
Anne is not rough.
False
1
inv-proof
[(triple2)]
("Anne" "is" "rough" "-")
triple2
Anne is not white.
Unknown
inv-rconc
[@1: Anne is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "white" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
@0: Anne is big.[(triple1)] Anne is rough.[(triple2)] Charlie is big.[(triple3)] Charlie is quiet.[(triple4)] Charlie is rough.[(triple5)] Charlie is white.[(triple6)] Erin is big.[(triple7)] Erin is quiet.[(triple8)] Harry is big.[(triple9)] Harry is smart.[(triple10)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Charlie is big.
("Charlie" "is" "big" "+")
triple3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Charlie is white.
("Charlie" "is" "white" "+")
triple6
Erin is big.
("Erin" "is" "big" "+")
triple7
Erin is quiet.
("Erin" "is" "quiet" "+")
triple8
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is smart.
("Harry" "is" "smart" "+")
triple10