Fiona is big. Fiona is furry. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is round. Fiona is young. Round things are young. Round, red things are rough.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
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" "+")
Round things are young.
((("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
Round, red things are rough.
((("something" "is" "round" "+") ("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
Fiona is round.
True
1
proof
[(triple6)]
("Fiona" "is" "round" "+")
triple6
Fiona is not rough.
False
1
inv-proof
[(triple5 OR ((triple6 triple4) -> rule2))]
("Fiona" "is" "rough" "-")
triple5
((triple6 triple4) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
@0: Fiona is big.[(triple1)] Fiona is furry.[(triple2)] Fiona is quiet.[(triple3)] Fiona is red.[(triple4)] Fiona is rough.[(triple5 OR ((triple6 triple4) -> rule2))] Fiona is round.[(triple6)] Fiona is young.[(triple7 OR ((triple6) -> rule1))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple3
Fiona is red.
("Fiona" "is" "red" "+")
triple4
Fiona is rough.
("Fiona" "is" "rough" "+")
triple5
((triple6 triple4) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7
((triple6) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1