Bob is not cold. Bob is red. Bob is round. Bob is smart. Bob is white. Fiona is blue. Fiona is not cold. Fiona is rough. Fiona is round. Fiona is not smart. Fiona is white. Gary is blue. Gary is red. Gary is rough. Gary is round. Gary is white. If someone is round then they are rough. If Gary is cold then Gary is smart. If someone is round and not white then they are blue. All cold people are blue. All smart people are blue. If Gary is red and Gary is blue then Gary is cold.
Bob is not cold.
("Bob" "is" "cold" "-")
Bob is red.
("Bob" "is" "red" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is not smart.
("Fiona" "is" "smart" "-")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
If someone is round then they are rough.
((("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If Gary is cold then Gary is smart.
((("Gary" "is" "cold" "+")) -> ("Gary" "is" "smart" "+"))
If someone is round and not white then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "blue" "+"))
All cold people are blue.
((("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
All smart people are blue.
((("someone" "is" "smart" "+")) -> ("someone" "is" "blue" "+"))
If Gary is red and Gary is blue then Gary is cold.
((("Gary" "is" "red" "+") ("Gary" "is" "blue" "+")) -> ("Gary" "is" "cold" "+"))
Fiona is white.
True
1
proof
[(triple11)]
("Fiona" "is" "white" "+")
triple11
Bob is not round.
False
1
inv-proof
[(triple3)]
("Bob" "is" "round" "-")
triple3
Bob is blue.
True
2
proof
[(((triple4) -> rule5))]
("Bob" "is" "blue" "+")
((triple4) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is not rough.
False
2
inv-proof
[(((triple3) -> rule1))]
("Bob" "is" "rough" "-")
((triple3) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Gary is smart.
True
4
proof
[(((((triple13 triple12) -> rule6)) -> rule2))]
("Gary" "is" "smart" "+")
((((triple13 triple12) -> (rule6 % int2))) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is not smart.
False
4
inv-proof
[(((((triple13 triple12) -> rule6)) -> rule2))]
("Gary" "is" "smart" "-")
((((triple13 triple12) -> (rule6 % int2))) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
@0: Bob is not cold.[(triple1)] Bob is red.[(triple2)] Bob is round.[(triple3)] Bob is smart.[(triple4)] Bob is white.[(triple5)] Fiona is blue.[(triple6)] Fiona is not cold.[(triple7)] Fiona is not smart.[(triple10)] Fiona is rough.[(triple8 OR ((triple9) -> rule1))] Fiona is round.[(triple9)] Fiona is white.[(triple11)] Gary is blue.[(triple12)] Gary is red.[(triple13)] Gary is rough.[(triple14 OR ((triple15) -> rule1))] Gary is round.[(triple15)] Gary is white.[(triple16)] @1: Bob is blue.[(((triple4) -> rule5))] Bob is rough.[(((triple3) -> rule1))] Gary is cold.[(((triple13 triple12) -> rule6))] @2: Gary is smart.[(((((triple13 triple12) -> rule6)) -> rule2))]
Bob is not cold.
("Bob" "is" "cold" "-")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
Bob is smart.
("Bob" "is" "smart" "+")
triple4
Bob is white.
("Bob" "is" "white" "+")
triple5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple6
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple7
Fiona is not smart.
("Fiona" "is" "smart" "-")
triple10
Fiona is rough.
("Fiona" "is" "rough" "+")
triple8
((triple9) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
triple9
Fiona is white.
("Fiona" "is" "white" "+")
triple11
Gary is blue.
("Gary" "is" "blue" "+")
triple12
Gary is red.
("Gary" "is" "red" "+")
triple13
Gary is rough.
("Gary" "is" "rough" "+")
triple14
((triple15) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
triple15
Gary is white.
("Gary" "is" "white" "+")
triple16
Bob is blue.
("Bob" "is" "blue" "+")
((triple4) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((triple3) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple13 triple12) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((((triple13 triple12) -> (rule6 % int2))) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2