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