Fiona is blue. Fiona is cold. Fiona is furry. Fiona is green. Fiona is round. Fiona is smart. Fiona is young. All round people are green.
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All round people are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
Fiona is young.
True
1
proof
[(triple7)]
("Fiona" "is" "young" "+")
triple7
Fiona is not smart.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "smart" "-")
triple6
@0: Fiona is blue.[(triple1)] Fiona is cold.[(triple2)] Fiona is furry.[(triple3)] Fiona is green.[(triple4 OR ((triple5) -> rule1))] Fiona is round.[(triple5)] Fiona is smart.[(triple6)] Fiona is young.[(triple7)]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple3
Fiona is green.
("Fiona" "is" "green" "+")
triple4
((triple5) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
triple5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7