Fiona is big. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is round. Fiona is smart. Fiona is white. Harry is big. Harry is blue. Harry is cold. Harry is furry. Harry is round. Harry is smart. Harry is white. Furry, smart people are blue. All white, big people are round. If Fiona is cold then Fiona is blue.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Harry is white.
("Harry" "is" "white" "+")
Furry, smart people are blue.
((("someone" "is" "furry" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "blue" "+"))
All white, big people are round.
((("someone" "is" "white" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If Fiona is cold then Fiona is blue.
((("Fiona" "is" "cold" "+")) -> ("Fiona" "is" "blue" "+"))
Harry is cold.
True
1
proof
[(triple10)]
("Harry" "is" "cold" "+")
triple10
Harry is not round.
False
1
inv-proof
[(triple12 OR ((triple14 triple8) -> rule2))]
("Harry" "is" "round" "-")
triple12
((triple14 triple8) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2 OR ((triple3) -> rule3) OR ((triple4 triple6) -> rule1))] Fiona is cold.[(triple3)] Fiona is furry.[(triple4)] Fiona is round.[(triple5 OR ((triple7 triple1) -> rule2))] Fiona is smart.[(triple6)] Fiona is white.[(triple7)] Harry is big.[(triple8)] Harry is blue.[(triple9 OR ((triple11 triple13) -> rule1))] Harry is cold.[(triple10)] Harry is furry.[(triple11)] Harry is round.[(triple12 OR ((triple14 triple8) -> rule2))] Harry is smart.[(triple13)] Harry is white.[(triple14)]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
((triple3) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple4 triple6) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
triple4
Fiona is round.
("Fiona" "is" "round" "+")
triple5
((triple7 triple1) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is blue.
("Harry" "is" "blue" "+")
triple9
((triple11 triple13) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is furry.
("Harry" "is" "furry" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple12
((triple14 triple8) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
triple13
Harry is white.
("Harry" "is" "white" "+")
triple14