Anne is kind. Anne is rough. Anne is smart. Anne is white. Harry is big. Harry is rough. Harry is white. All white things are rough. If something is smart then it is round. Round things are rough.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
All white things are rough.
((("something" "is" "white" "+")) -> ("something" "is" "rough" "+"))
If something is smart then it is round.
((("something" "is" "smart" "+")) -> ("something" "is" "round" "+"))
Round things are rough.
((("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
Anne is white.
True
1
proof
[(triple4)]
("Anne" "is" "white" "+")
triple4
Anne is not smart.
False
1
inv-proof
[(triple3)]
("Anne" "is" "smart" "-")
triple3
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "round" "-")
Harry is smart.
Unknown
random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "+")
@0: Anne is kind.[(triple1)] Anne is rough.[(triple2 OR ((triple4) -> rule1) OR ((((triple3) -> rule2)) -> rule3))] Anne is smart.[(triple3)] Anne is white.[(triple4)] Harry is big.[(triple5)] Harry is rough.[(triple6 OR ((triple7) -> rule1))] Harry is white.[(triple7)] @1: Anne is round.[(((triple3) -> rule2))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
((triple4) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((((triple3) -> (rule2 % int2))) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple5
Harry is rough.
("Harry" "is" "rough" "+")
triple6
((triple7) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
triple7
Anne is round.
("Anne" "is" "round" "+")
((triple3) -> (rule2 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1