Fiona is big. Fiona is blue. Fiona is green. Fiona is not rough. Fiona is not round. Fiona is smart. Fiona is white. Gary is big. Gary is blue. Gary is not green. Gary is rough. Gary is round. Gary is smart. Gary is white. All rough, smart things are white. If something is green and not blue then it is big.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is not rough.
("Fiona" "is" "rough" "-")
Fiona is not round.
("Fiona" "is" "round" "-")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is not green.
("Gary" "is" "green" "-")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
All rough, smart things are white.
((("something" "is" "rough" "+") ("something" "is" "smart" "+")) -> ("something" "is" "white" "+"))
If something is green and not blue then it is big.
((("something" "is" "green" "+") ("something" "is" "blue" "~")) -> ("something" "is" "big" "+"))
Fiona is not round.
True
1
proof
[(triple5)]
("Fiona" "is" "round" "-")
triple5
Fiona is not blue.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "blue" "-")
triple2
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2)] Fiona is green.[(triple3)] Fiona is not rough.[(triple4)] Fiona is not round.[(triple5)] Fiona is smart.[(triple6)] Fiona is white.[(triple7)] Gary is big.[(triple8)] Gary is blue.[(triple9)] Gary is not green.[(triple10)] Gary is rough.[(triple11)] Gary is round.[(triple12)] Gary is smart.[(triple13)] Gary is white.[(triple14 OR ((triple11 triple13) -> rule1))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple3
Fiona is not rough.
("Fiona" "is" "rough" "-")
triple4
Fiona is not round.
("Fiona" "is" "round" "-")
triple5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is not green.
("Gary" "is" "green" "-")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple12
Gary is smart.
("Gary" "is" "smart" "+")
triple13
Gary is white.
("Gary" "is" "white" "+")
triple14
((triple11 triple13) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1