Anne is kind. Anne is smart. Gary is rough. Round things are rough. If Gary is smart and Gary is young then Gary is kind. Round things are kind. All rough, smart things are white. If Anne is kind and Anne is smart then Anne is white. If something is rough then it is white. If something is white and rough then it is smart. White, kind things are big.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Round things are rough.
((("something" "is" "round" "+")) -> ("something" "is" "rough" "+"))
If Gary is smart and Gary is young then Gary is kind.
((("Gary" "is" "smart" "+") ("Gary" "is" "young" "+")) -> ("Gary" "is" "kind" "+"))
Round things are kind.
((("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
All rough, smart things are white.
((("something" "is" "rough" "+") ("something" "is" "smart" "+")) -> ("something" "is" "white" "+"))
If Anne is kind and Anne is smart then Anne is white.
((("Anne" "is" "kind" "+") ("Anne" "is" "smart" "+")) -> ("Anne" "is" "white" "+"))
If something is rough then it is white.
((("something" "is" "rough" "+")) -> ("something" "is" "white" "+"))
If something is white and rough then it is smart.
((("something" "is" "white" "+") ("something" "is" "rough" "+")) -> ("something" "is" "smart" "+"))
White, kind things are big.
((("something" "is" "white" "+") ("something" "is" "kind" "+")) -> ("something" "is" "big" "+"))
Anne is smart.
True
1
proof
[(triple2)]
("Anne" "is" "smart" "+")
triple2
Gary is not rough.
False
1
inv-proof
[(triple3)]
("Gary" "is" "rough" "-")
triple3
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "kind" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Anne is kind.[(triple1)] Anne is smart.[(triple2)] Gary is rough.[(triple3)] @1: Anne is white.[(((triple1 triple2) -> rule5))] Gary is white.[(((triple3) -> rule6))] @2: Anne is big.[(((((triple1 triple2) -> rule5) triple1) -> rule8))] Gary is smart.[(((((triple3) -> rule6) triple3) -> rule7))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is smart.
("Anne" "is" "smart" "+")
triple2
Gary is rough.
("Gary" "is" "rough" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
((triple1 triple2) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
((triple3) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
((((triple1 triple2) -> (rule5 % int2)) triple1) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
((((triple3) -> (rule6 % int2)) triple3) -> (rule7 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2