Anne is cold. Bob is nice. Gary is cold. Gary is nice. Harry is nice. Harry is quiet. Harry is white. Nice, quiet things are furry. All white, cold things are round.
Anne is cold.
("Anne" "is" "cold" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is white.
("Harry" "is" "white" "+")
Nice, quiet things are furry.
((("something" "is" "nice" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "furry" "+"))
All white, cold things are round.
((("something" "is" "white" "+") ("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
Anne is cold.
True
1
proof
[(triple1)]
("Anne" "is" "cold" "+")
triple1
Gary is not nice.
False
1
inv-proof
[(triple4)]
("Gary" "is" "nice" "-")
triple4
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "round" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Anne is cold.[(triple1)] Bob is nice.[(triple2)] Gary is cold.[(triple3)] Gary is nice.[(triple4)] Harry is nice.[(triple5)] Harry is quiet.[(triple6)] Harry is white.[(triple7)] @1: Harry is furry.[(((triple5 triple6) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Gary is cold.
("Gary" "is" "cold" "+")
triple3
Gary is nice.
("Gary" "is" "nice" "+")
triple4
Harry is nice.
("Harry" "is" "nice" "+")
triple5
Harry is quiet.
("Harry" "is" "quiet" "+")
triple6
Harry is white.
("Harry" "is" "white" "+")
triple7
Harry is furry.
("Harry" "is" "furry" "+")
((triple5 triple6) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1