Anne is big. Anne is kind. Anne is red. Fiona is green. Fiona is white. Gary is big. Gary is kind. Gary is quiet. Gary is white. Harry is green. Harry is kind. Harry is quiet. Big, kind things are white. If something is red then it is green. White, kind things are quiet.
Anne is big.
("Anne" "is" "big" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Big, kind things are white.
((("something" "is" "big" "+") ("something" "is" "kind" "+")) -> ("something" "is" "white" "+"))
If something is red then it is green.
((("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
White, kind things are quiet.
((("something" "is" "white" "+") ("something" "is" "kind" "+")) -> ("something" "is" "quiet" "+"))
Gary is big.
True
1
proof
[(triple6)]
("Gary" "is" "big" "+")
triple6
Fiona is not green.
False
1
inv-proof
[(triple4)]
("Fiona" "is" "green" "-")
triple4
Harry is not white.
Unknown
inv-rconc
[@1: Harry is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "white" "-")
Gary is smart.
Unknown
random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "+")
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is red.[(triple3)] Fiona is green.[(triple4)] Fiona is white.[(triple5)] Gary is big.[(triple6)] Gary is kind.[(triple7)] Gary is quiet.[(triple8 OR ((triple9 triple7) -> rule3) OR ((((triple6 triple7) -> rule1) triple7) -> rule3))] Gary is white.[(triple9 OR ((triple6 triple7) -> rule1))] Harry is green.[(triple10)] Harry is kind.[(triple11)] Harry is quiet.[(triple12)] @1: Anne is green.[(((triple3) -> rule2))] Anne is white.[(((triple1 triple2) -> rule1))] @2: Anne is quiet.[(((((triple1 triple2) -> rule1) triple2) -> rule3))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is red.
("Anne" "is" "red" "+")
triple3
Fiona is green.
("Fiona" "is" "green" "+")
triple4
Fiona is white.
("Fiona" "is" "white" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple7
Gary is quiet.
("Gary" "is" "quiet" "+")
triple8
((triple9 triple7) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((((triple6 triple7) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
triple9
((triple6 triple7) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is quiet.
("Harry" "is" "quiet" "+")
triple12
Anne is green.
("Anne" "is" "green" "+")
((triple3) -> (rule2 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
((triple1 triple2) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
((((triple1 triple2) -> (rule1 % int2)) triple2) -> (rule3 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2