Anne is not blue. Anne is cold. Anne is not red. Anne is not rough. Anne is round. Anne is smart. Anne is white. Bob is blue. Bob is cold. Bob is red. Bob is rough. Bob is round. Bob is smart. Bob is white. If Bob is blue then Bob is red.
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is not red.
("Anne" "is" "red" "-")
Anne is not rough.
("Anne" "is" "rough" "-")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
If Bob is blue then Bob is red.
((("Bob" "is" "blue" "+")) -> ("Bob" "is" "red" "+"))
Bob is smart.
True
1
proof
[(triple13)]
("Bob" "is" "smart" "+")
triple13
Anne is not round.
False
1
inv-proof
[(triple5)]
("Anne" "is" "round" "-")
triple5
@0: Anne is cold.[(triple2)] Anne is not blue.[(triple1)] Anne is not red.[(triple3)] Anne is not rough.[(triple4)] Anne is round.[(triple5)] Anne is smart.[(triple6)] Anne is white.[(triple7)] Bob is blue.[(triple8)] Bob is cold.[(triple9)] Bob is red.[(triple10 OR ((triple8) -> rule1))] Bob is rough.[(triple11)] Bob is round.[(triple12)] Bob is smart.[(triple13)] Bob is white.[(triple14)]
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is not blue.
("Anne" "is" "blue" "-")
triple1
Anne is not red.
("Anne" "is" "red" "-")
triple3
Anne is not rough.
("Anne" "is" "rough" "-")
triple4
Anne is round.
("Anne" "is" "round" "+")
triple5
Anne is smart.
("Anne" "is" "smart" "+")
triple6
Anne is white.
("Anne" "is" "white" "+")
triple7
Bob is blue.
("Bob" "is" "blue" "+")
triple8
Bob is cold.
("Bob" "is" "cold" "+")
triple9
Bob is red.
("Bob" "is" "red" "+")
triple10
((triple8) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
triple11
Bob is round.
("Bob" "is" "round" "+")
triple12
Bob is smart.
("Bob" "is" "smart" "+")
triple13
Bob is white.
("Bob" "is" "white" "+")
triple14