Anne is nice. Erin is furry. Erin is kind. Erin is quiet. Erin is white. Gary is nice. Gary is rough. Harry is furry. Harry is kind. Harry is quiet. Red, nice things are kind. Kind things are red.
Anne is nice.
("Anne" "is" "nice" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Red, nice things are kind.
((("something" "is" "red" "+") ("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
Kind things are red.
((("something" "is" "kind" "+")) -> ("something" "is" "red" "+"))
Gary is rough.
True
1
proof
[(triple7)]
("Gary" "is" "rough" "+")
triple7
Erin is not quiet.
False
1
inv-proof
[(triple4)]
("Erin" "is" "quiet" "-")
triple4
Anne is not kind.
Unknown
inv-rconc
[@2: Anne is kind.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Anne" "is" "kind" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
@0: Anne is nice.[(triple1)] Erin is furry.[(triple2)] Erin is kind.[(triple3)] Erin is quiet.[(triple4)] Erin is white.[(triple5)] Gary is nice.[(triple6)] Gary is rough.[(triple7)] Harry is furry.[(triple8)] Harry is kind.[(triple9)] Harry is quiet.[(triple10)] @1: Erin is red.[(((triple3) -> rule2))] Harry is red.[(((triple9) -> rule2))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Erin is kind.
("Erin" "is" "kind" "+")
triple3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple4
Erin is white.
("Erin" "is" "white" "+")
triple5
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Harry is furry.
("Harry" "is" "furry" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is quiet.
("Harry" "is" "quiet" "+")
triple10
Erin is red.
("Erin" "is" "red" "+")
((triple3) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple9) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1