Fiona is cold. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is white. Harry is cold. Harry is green. Harry is nice. Harry is quiet. Harry is rough. Harry is round. Harry is white. Nice, green people are white. All rough, nice people are cold.
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
Nice, green people are white.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
All rough, nice people are cold.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Harry is nice.
True
1
proof
[(triple10)]
("Harry" "is" "nice" "+")
triple10
Harry is not round.
False
1
inv-proof
[(triple13)]
("Harry" "is" "round" "-")
triple13
@0: Fiona is cold.[(triple1 OR ((triple5 triple3) -> rule2))] Fiona is green.[(triple2)] Fiona is nice.[(triple3)] Fiona is quiet.[(triple4)] Fiona is rough.[(triple5)] Fiona is round.[(triple6)] Fiona is white.[(triple7 OR ((triple3 triple2) -> rule1))] Harry is cold.[(triple8 OR ((triple12 triple10) -> rule2))] Harry is green.[(triple9)] Harry is nice.[(triple10)] Harry is quiet.[(triple11)] Harry is rough.[(triple12)] Harry is round.[(triple13)] Harry is white.[(triple14 OR ((triple10 triple9) -> rule1))]
Fiona is cold.
("Fiona" "is" "cold" "+")
triple1
((triple5 triple3) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
triple2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple4
Fiona is rough.
("Fiona" "is" "rough" "+")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
((triple3 triple2) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
triple8
((triple12 triple10) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is quiet.
("Harry" "is" "quiet" "+")
triple11
Harry is rough.
("Harry" "is" "rough" "+")
triple12
Harry is round.
("Harry" "is" "round" "+")
triple13
Harry is white.
("Harry" "is" "white" "+")
triple14
((triple10 triple9) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1