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