Fiona is blue. Fiona is furry. Fiona is green. Fiona is kind. Fiona is rough. Fiona is round. Fiona is white. All blue, green people are kind. Kind people are white.
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
All blue, green people are kind.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
Kind people are white.
((("someone" "is" "kind" "+")) -> ("someone" "is" "white" "+"))
Fiona is blue.
True
1
proof
[(triple1)]
("Fiona" "is" "blue" "+")
triple1
Fiona is not blue.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "blue" "-")
triple1
@0: Fiona is blue.[(triple1)] Fiona is furry.[(triple2)] Fiona is green.[(triple3)] Fiona is kind.[(triple4 OR ((triple1 triple3) -> rule1))] Fiona is rough.[(triple5)] Fiona is round.[(triple6)] Fiona is white.[(triple7 OR ((triple4) -> rule2) OR ((((triple1 triple3) -> rule1)) -> rule2))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple2
Fiona is green.
("Fiona" "is" "green" "+")
triple3
Fiona is kind.
("Fiona" "is" "kind" "+")
triple4
((triple1 triple3) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
((triple4) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((((triple1 triple3) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2