Anne is big. Anne is cold. Anne is not kind. Anne is red. Bob is big. Bob is furry. Bob is kind. Bob is rough. Bob is round. Gary is big. Gary is cold. Gary is furry. Gary is kind. Gary is not red. Gary is rough. Gary is round. If Anne is furry then Anne is cold. If something is cold then it is furry. If something is furry then it is cold. If something is red then it is not kind. If something is rough then it is round. If Bob is not cold then Bob is big. If Bob is furry then Bob is big. If Bob is big and Bob is not red then Bob is round.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is not kind.
("Anne" "is" "kind" "-")
Anne is red.
("Anne" "is" "red" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is not red.
("Gary" "is" "red" "-")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
If Anne is furry then Anne is cold.
((("Anne" "is" "furry" "+")) -> ("Anne" "is" "cold" "+"))
If something is cold then it is furry.
((("something" "is" "cold" "+")) -> ("something" "is" "furry" "+"))
If something is furry then it is cold.
((("something" "is" "furry" "+")) -> ("something" "is" "cold" "+"))
If something is red then it is not kind.
((("something" "is" "red" "+")) -> ("something" "is" "kind" "-"))
If something is rough then it is round.
((("something" "is" "rough" "+")) -> ("something" "is" "round" "+"))
If Bob is not cold then Bob is big.
((("Bob" "is" "cold" "~")) -> ("Bob" "is" "big" "+"))
If Bob is furry then Bob is big.
((("Bob" "is" "furry" "+")) -> ("Bob" "is" "big" "+"))
If Bob is big and Bob is not red then Bob is round.
((("Bob" "is" "big" "+") ("Bob" "is" "red" "~")) -> ("Bob" "is" "round" "+"))
Anne is not kind.
True
1
proof
[(triple3 OR ((triple4) -> rule4))]
("Anne" "is" "kind" "-")
triple3
((triple4) -> (rule4 % int1))
Anne is not kind.
("Anne" "is" "kind" "-")
int1
Anne is not cold.
False
1
inv-proof
[(triple2)]
("Anne" "is" "cold" "-")
triple2
Bob is cold.
True
2
proof
[(((triple6) -> rule3))]
("Bob" "is" "cold" "+")
((triple6) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is not cold.
False
2
inv-proof
[(((triple6) -> rule3))]
("Bob" "is" "cold" "-")
((triple6) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Anne is not round.
Unknown
inv-rconc
[@1: Anne is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Anne" "is" "round" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is not kind.[(triple3 OR ((triple4) -> rule4))] Anne is red.[(triple4)] Bob is big.[(triple5 OR ((triple6) -> rule7))] Bob is furry.[(triple6)] Bob is kind.[(triple7)] Bob is rough.[(triple8)] Bob is round.[(triple9 OR ((triple8) -> rule5))] Gary is big.[(triple10)] Gary is cold.[(triple11 OR ((triple12) -> rule3))] Gary is furry.[(triple12 OR ((triple11) -> rule2))] Gary is kind.[(triple13)] Gary is not red.[(triple14)] Gary is rough.[(triple15)] Gary is round.[(triple16 OR ((triple15) -> rule5))] @1: Anne is furry.[(((triple2) -> rule2))] Bob is cold.[(((triple6) -> rule3))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is not kind.
("Anne" "is" "kind" "-")
triple3
((triple4) -> (rule4 % int1))
Anne is not kind.
("Anne" "is" "kind" "-")
int1
Anne is red.
("Anne" "is" "red" "+")
triple4
Bob is big.
("Bob" "is" "big" "+")
triple5
((triple6) -> (rule7 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
triple6
Bob is kind.
("Bob" "is" "kind" "+")
triple7
Bob is rough.
("Bob" "is" "rough" "+")
triple8
Bob is round.
("Bob" "is" "round" "+")
triple9
((triple8) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
triple11
((triple12) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
triple12
((triple11) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
triple13
Gary is not red.
("Gary" "is" "red" "-")
triple14
Gary is rough.
("Gary" "is" "rough" "+")
triple15
Gary is round.
("Gary" "is" "round" "+")
triple16
((triple15) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
((triple2) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((triple6) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1