Anne is cold. Anne is kind. Charlie is furry. Charlie is kind. Charlie is red. Gary is kind. Harry is red. Red things are quiet.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is red.
("Harry" "is" "red" "+")
Red things are quiet.
((("something" "is" "red" "+")) -> ("something" "is" "quiet" "+"))
Anne is kind.
True
1
proof
[(triple2)]
("Anne" "is" "kind" "+")
triple2
Charlie is not furry.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "furry" "-")
triple3
Anne is not quiet.
Unknown
inv-rconc
[@1: Anne is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "quiet" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Charlie is furry.[(triple3)] Charlie is kind.[(triple4)] Charlie is red.[(triple5)] Gary is kind.[(triple6)] Harry is red.[(triple7)] @1: Charlie is quiet.[(((triple5) -> rule1))] Harry is quiet.[(((triple7) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Charlie is furry.
("Charlie" "is" "furry" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Harry is red.
("Harry" "is" "red" "+")
triple7
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple5) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple7) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1