Anne is furry. Anne is nice. Anne is smart. Anne is not young. Bob is blue. Bob is furry. Bob is not kind. Bob is young. Charlie is blue. Charlie is furry. Charlie is smart. Charlie is young. Harry is not blue. Harry is cold. Harry is nice. If Bob is cold and Bob is smart then Bob is blue. If someone is young then they are cold. If Charlie is nice and Charlie is not blue then Charlie is cold.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is not young.
("Anne" "is" "young" "-")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is young.
("Bob" "is" "young" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Harry is not blue.
("Harry" "is" "blue" "-")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If Bob is cold and Bob is smart then Bob is blue.
((("Bob" "is" "cold" "+") ("Bob" "is" "smart" "+")) -> ("Bob" "is" "blue" "+"))
If someone is young then they are cold.
((("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If Charlie is nice and Charlie is not blue then Charlie is cold.
((("Charlie" "is" "nice" "+") ("Charlie" "is" "blue" "~")) -> ("Charlie" "is" "cold" "+"))
Anne is furry.
True
1
proof
[(triple1)]
("Anne" "is" "furry" "+")
triple1
Bob is not young.
False
1
inv-proof
[(triple8)]
("Bob" "is" "young" "-")
triple8
Charlie is cold.
True
2
proof
[(((triple12) -> rule2))]
("Charlie" "is" "cold" "+")
((triple12) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is not cold.
False
2
inv-proof
[(((triple12) -> rule2))]
("Charlie" "is" "cold" "-")
((triple12) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Anne is not cold.
Unknown
inv-rconc
[@1: Anne is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "cold" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
Anne is not kind.
Unknown
inv-random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "-")
Harry is furry.
Unknown
random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "+")
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Anne is not young.[(triple4)] Anne is smart.[(triple3)] Bob is blue.[(triple5)] Bob is furry.[(triple6)] Bob is not kind.[(triple7)] Bob is young.[(triple8)] Charlie is blue.[(triple9)] Charlie is furry.[(triple10)] Charlie is smart.[(triple11)] Charlie is young.[(triple12)] Harry is cold.[(triple14)] Harry is nice.[(triple15)] Harry is not blue.[(triple13)] @1: Bob is cold.[(((triple8) -> rule2))] Charlie is cold.[(((triple12) -> rule2))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
Anne is not young.
("Anne" "is" "young" "-")
triple4
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is furry.
("Bob" "is" "furry" "+")
triple6
Bob is not kind.
("Bob" "is" "kind" "-")
triple7
Bob is young.
("Bob" "is" "young" "+")
triple8
Charlie is blue.
("Charlie" "is" "blue" "+")
triple9
Charlie is furry.
("Charlie" "is" "furry" "+")
triple10
Charlie is smart.
("Charlie" "is" "smart" "+")
triple11
Charlie is young.
("Charlie" "is" "young" "+")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
triple14
Harry is nice.
("Harry" "is" "nice" "+")
triple15
Harry is not blue.
("Harry" "is" "blue" "-")
triple13
Bob is cold.
("Bob" "is" "cold" "+")
((triple8) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple12) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1