Anne is blue. Erin is furry. Erin is green. Erin is red. Gary is furry. Gary is round. Harry is furry. Harry is green. Harry is quiet. Harry is red. Furry things are green.
Anne is blue.
("Anne" "is" "blue" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is red.
("Erin" "is" "red" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Furry things are green.
((("something" "is" "furry" "+")) -> ("something" "is" "green" "+"))
Gary is furry.
True
1
proof
[(triple5)]
("Gary" "is" "furry" "+")
triple5
Gary is not furry.
False
1
inv-proof
[(triple5)]
("Gary" "is" "furry" "-")
triple5
Anne is not green.
Unknown
inv-rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "green" "-")
Anne is red.
Unknown
random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "+")
@0: Anne is blue.[(triple1)] Erin is furry.[(triple2)] Erin is green.[(triple3 OR ((triple2) -> rule1))] Erin is red.[(triple4)] Gary is furry.[(triple5)] Gary is round.[(triple6)] Harry is furry.[(triple7)] Harry is green.[(triple8 OR ((triple7) -> rule1))] Harry is quiet.[(triple9)] Harry is red.[(triple10)] @1: Gary is green.[(((triple5) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Erin is furry.
("Erin" "is" "furry" "+")
triple2
Erin is green.
("Erin" "is" "green" "+")
triple3
((triple2) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
triple4
Gary is furry.
("Gary" "is" "furry" "+")
triple5
Gary is round.
("Gary" "is" "round" "+")
triple6
Harry is furry.
("Harry" "is" "furry" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple8
((triple7) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
((triple5) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1