Fiona is furry. Fiona is kind. Fiona is nice. Fiona is red. Fiona is not round. Gary is big. Gary is not furry. Gary is green. Gary is kind. Gary is nice. Gary is not red. Gary is round. If something is furry then it is not round. Nice things are big.
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is not round.
("Fiona" "is" "round" "-")
Gary is big.
("Gary" "is" "big" "+")
Gary is not furry.
("Gary" "is" "furry" "-")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is not red.
("Gary" "is" "red" "-")
Gary is round.
("Gary" "is" "round" "+")
If something is furry then it is not round.
((("something" "is" "furry" "+")) -> ("something" "is" "round" "-"))
Nice things are big.
((("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
Gary is not red.
True
1
proof
[(triple11)]
("Gary" "is" "red" "-")
triple11
Gary is furry.
False
1
inv-proof
[(triple7)]
("Gary" "is" "furry" "+")
triple7
@0: Fiona is furry.[(triple1)] Fiona is kind.[(triple2)] Fiona is nice.[(triple3)] Fiona is not round.[(triple5 OR ((triple1) -> rule1))] Fiona is red.[(triple4)] Gary is big.[(triple6 OR ((triple10) -> rule2))] Gary is green.[(triple8)] Gary is kind.[(triple9)] Gary is nice.[(triple10)] Gary is not furry.[(triple7)] Gary is not red.[(triple11)] Gary is round.[(triple12)] @1: Fiona is big.[(((triple3) -> rule2))]
Fiona is furry.
("Fiona" "is" "furry" "+")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3
Fiona is not round.
("Fiona" "is" "round" "-")
triple5
((triple1) -> (rule1 % int1))
Fiona is not round.
("Fiona" "is" "round" "-")
int1
Fiona is red.
("Fiona" "is" "red" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple6
((triple10) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is not furry.
("Gary" "is" "furry" "-")
triple7
Gary is not red.
("Gary" "is" "red" "-")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple12
Fiona is big.
("Fiona" "is" "big" "+")
((triple3) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1