Anne is quiet. Anne is red. Anne is smart. Bob is big. Bob is cold. Bob is quiet. Bob is red. Bob is rough. Gary is big. Gary is kind. Gary is quiet. Gary is rough. Harry is kind. Harry is red. Harry is rough. Harry is smart. If someone is red and quiet then they are cold.
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If someone is red and quiet then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "+"))
Anne is quiet.
True
1
proof
[(triple1)]
("Anne" "is" "quiet" "+")
triple1
Harry is not red.
False
1
inv-proof
[(triple14)]
("Harry" "is" "red" "-")
triple14
Anne is cold.
True
3
proof
[(((triple2 triple1) -> rule1))]
("Anne" "is" "cold" "+")
((triple2 triple1) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is not cold.
False
3
inv-proof
[(((triple2 triple1) -> rule1))]
("Anne" "is" "cold" "-")
((triple2 triple1) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Gary is not cold.
Unknown
inv-rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "cold" "-")
Harry is cold.
Unknown
rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "cold" "+")
Harry is not quiet.
Unknown
inv-random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
@0: Anne is quiet.[(triple1)] Anne is red.[(triple2)] Anne is smart.[(triple3)] Bob is big.[(triple4)] Bob is cold.[(triple5 OR ((triple7 triple6) -> rule1))] Bob is quiet.[(triple6)] Bob is red.[(triple7)] Bob is rough.[(triple8)] Gary is big.[(triple9)] Gary is kind.[(triple10)] Gary is quiet.[(triple11)] Gary is rough.[(triple12)] Harry is kind.[(triple13)] Harry is red.[(triple14)] Harry is rough.[(triple15)] Harry is smart.[(triple16)] @1: Anne is cold.[(((triple2 triple1) -> rule1))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Bob is big.
("Bob" "is" "big" "+")
triple4
Bob is cold.
("Bob" "is" "cold" "+")
triple5
((triple7 triple6) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
triple6
Bob is red.
("Bob" "is" "red" "+")
triple7
Bob is rough.
("Bob" "is" "rough" "+")
triple8
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is quiet.
("Gary" "is" "quiet" "+")
triple11
Gary is rough.
("Gary" "is" "rough" "+")
triple12
Harry is kind.
("Harry" "is" "kind" "+")
triple13
Harry is red.
("Harry" "is" "red" "+")
triple14
Harry is rough.
("Harry" "is" "rough" "+")
triple15
Harry is smart.
("Harry" "is" "smart" "+")
triple16
Anne is cold.
("Anne" "is" "cold" "+")
((triple2 triple1) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1