Bob is not blue. Bob is cold. Bob is furry. Bob is green. Bob is red. Bob is not round. Bob is smart. Fiona is not blue. Fiona is cold. Fiona is furry. Fiona is green. Fiona is red. Fiona is not round. Fiona is smart. If something is cold and not blue then it is green. If something is smart then it is green. Blue, smart things are round. Blue, cold things are furry. If Bob is smart then Bob is not round. If something is green and not round then it is red. If something is blue and not cold then it is not red. If Fiona is not furry then Fiona is red.
Bob is not blue.
("Bob" "is" "blue" "-")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is not round.
("Bob" "is" "round" "-")
Bob is smart.
("Bob" "is" "smart" "+")
Fiona is not blue.
("Fiona" "is" "blue" "-")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is not round.
("Fiona" "is" "round" "-")
Fiona is smart.
("Fiona" "is" "smart" "+")
If something is cold and not blue then it is green.
((("something" "is" "cold" "+") ("something" "is" "blue" "~")) -> ("something" "is" "green" "+"))
If something is smart then it is green.
((("something" "is" "smart" "+")) -> ("something" "is" "green" "+"))
Blue, smart things are round.
((("something" "is" "blue" "+") ("something" "is" "smart" "+")) -> ("something" "is" "round" "+"))
Blue, cold things are furry.
((("something" "is" "blue" "+") ("something" "is" "cold" "+")) -> ("something" "is" "furry" "+"))
If Bob is smart then Bob is not round.
((("Bob" "is" "smart" "+")) -> ("Bob" "is" "round" "-"))
If something is green and not round then it is red.
((("something" "is" "green" "+") ("something" "is" "round" "~")) -> ("something" "is" "red" "+"))
If something is blue and not cold then it is not red.
((("something" "is" "blue" "+") ("something" "is" "cold" "~")) -> ("something" "is" "red" "-"))
If Fiona is not furry then Fiona is red.
((("Fiona" "is" "furry" "~")) -> ("Fiona" "is" "red" "+"))
Fiona is green.
True
1
proof
[(triple11 OR ((triple14) -> rule2) OR ((triple9 triple8) -> rule1))]
("Fiona" "is" "green" "+")
triple11
((triple14) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple9 triple8) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not green.
False
1
inv-proof
[(triple11 OR ((triple14) -> rule2) OR ((triple9 triple8) -> rule1))]
("Fiona" "is" "green" "-")
triple11
((triple14) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple9 triple8) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
@0: Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is green.[(triple4 OR ((triple7) -> rule2) OR ((triple2 triple1) -> rule1))] Bob is not blue.[(triple1)] Bob is not round.[(triple6 OR ((triple7) -> rule5))] Bob is red.[(triple5 OR ((triple4 triple6) -> rule6) OR ((triple4 ((triple7) -> rule5)) -> rule6) OR ((((triple7) -> rule2) triple6) -> rule6) OR ((((triple2 triple1) -> rule1) triple6) -> rule6) OR ((((triple7) -> rule2) ((triple7) -> rule5)) -> rule6) OR ((((triple2 triple1) -> rule1) ((triple7) -> rule5)) -> rule6))] Bob is smart.[(triple7)] Fiona is cold.[(triple9)] Fiona is furry.[(triple10)] Fiona is green.[(triple11 OR ((triple14) -> rule2) OR ((triple9 triple8) -> rule1))] Fiona is not blue.[(triple8)] Fiona is not round.[(triple13)] Fiona is red.[(triple12 OR ((triple11 triple13) -> rule6) OR ((((triple14) -> rule2) triple13) -> rule6) OR ((((triple9 triple8) -> rule1) triple13) -> rule6))] Fiona is smart.[(triple14)]
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is furry.
("Bob" "is" "furry" "+")
triple3
Bob is green.
("Bob" "is" "green" "+")
triple4
((triple7) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((triple2 triple1) -> (rule1 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is not blue.
("Bob" "is" "blue" "-")
triple1
Bob is not round.
("Bob" "is" "round" "-")
triple6
((triple7) -> (rule5 % int1))
Bob is not round.
("Bob" "is" "round" "-")
int1
Bob is red.
("Bob" "is" "red" "+")
triple5
((triple4 triple6) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((triple4 ((triple7) -> (rule5 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is not round.
("Bob" "is" "round" "-")
int2
((((triple7) -> (rule2 % int2)) triple6) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((triple2 triple1) -> (rule1 % int2)) triple6) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((triple7) -> (rule2 % int3)) ((triple7) -> (rule5 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is not round.
("Bob" "is" "round" "-")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((triple2 triple1) -> (rule1 % int3)) ((triple7) -> (rule5 % int2))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is not round.
("Bob" "is" "round" "-")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
triple7
Fiona is cold.
("Fiona" "is" "cold" "+")
triple9
Fiona is furry.
("Fiona" "is" "furry" "+")
triple10
Fiona is green.
("Fiona" "is" "green" "+")
triple11
((triple14) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple9 triple8) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not blue.
("Fiona" "is" "blue" "-")
triple8
Fiona is not round.
("Fiona" "is" "round" "-")
triple13
Fiona is red.
("Fiona" "is" "red" "+")
triple12
((triple11 triple13) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((((triple14) -> (rule2 % int2)) triple13) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((triple9 triple8) -> (rule1 % int2)) triple13) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple14