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