Anne is quiet. Bob is cold. Bob is kind. Bob is quiet. Bob is young. Gary is not cold. Gary is furry. Gary is kind. Gary is quiet. Gary is round. Gary is young. Harry is kind. Round, furry people are quiet.
Anne is quiet.
("Anne" "is" "quiet" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is young.
("Bob" "is" "young" "+")
Gary is not cold.
("Gary" "is" "cold" "-")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Round, furry people are quiet.
((("someone" "is" "round" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
Bob is cold.
True
1
proof
[(triple2)]
("Bob" "is" "cold" "+")
triple2
Gary is not round.
False
1
inv-proof
[(triple10)]
("Gary" "is" "round" "-")
triple10
Harry is not quiet.
Unknown
inv-rconc
[@1: Harry is quiet.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "quiet" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Anne is quiet.[(triple1)] Bob is cold.[(triple2)] Bob is kind.[(triple3)] Bob is quiet.[(triple4)] Bob is young.[(triple5)] Gary is furry.[(triple7)] Gary is kind.[(triple8)] Gary is not cold.[(triple6)] Gary is quiet.[(triple9 OR ((triple10 triple7) -> rule1))] Gary is round.[(triple10)] Gary is young.[(triple11)] Harry is kind.[(triple12)]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple5
Gary is furry.
("Gary" "is" "furry" "+")
triple7
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Gary is not cold.
("Gary" "is" "cold" "-")
triple6
Gary is quiet.
("Gary" "is" "quiet" "+")
triple9
((triple10 triple7) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
triple10
Gary is young.
("Gary" "is" "young" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple12