Erin is furry. Erin is green. Erin is nice. Erin is red. Erin is smart. Erin is white. Erin is young. Fiona is furry. Fiona is green. Fiona is red. Fiona is smart. Fiona is young. Nice, green people are white. If Fiona is smart then Fiona is white.
Erin is furry.
("Erin" "is" "furry" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Nice, green people are white.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
If Fiona is smart then Fiona is white.
((("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "white" "+"))
Fiona is red.
True
1
proof
[(triple10)]
("Fiona" "is" "red" "+")
triple10
Fiona is not smart.
False
1
inv-proof
[(triple11)]
("Fiona" "is" "smart" "-")
triple11
Fiona is white.
True
2
proof
[(((triple11) -> rule2))]
("Fiona" "is" "white" "+")
((triple11) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not white.
False
2
inv-proof
[(((triple11) -> rule2))]
("Fiona" "is" "white" "-")
((triple11) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
@0: Erin is furry.[(triple1)] Erin is green.[(triple2)] Erin is nice.[(triple3)] Erin is red.[(triple4)] Erin is smart.[(triple5)] Erin is white.[(triple6 OR ((triple3 triple2) -> rule1))] Erin is young.[(triple7)] Fiona is furry.[(triple8)] Fiona is green.[(triple9)] Fiona is red.[(triple10)] Fiona is smart.[(triple11)] Fiona is young.[(triple12)] @1: Fiona is white.[(((triple11) -> rule2))]
Erin is furry.
("Erin" "is" "furry" "+")
triple1
Erin is green.
("Erin" "is" "green" "+")
triple2
Erin is nice.
("Erin" "is" "nice" "+")
triple3
Erin is red.
("Erin" "is" "red" "+")
triple4
Erin is smart.
("Erin" "is" "smart" "+")
triple5
Erin is white.
("Erin" "is" "white" "+")
triple6
((triple3 triple2) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
triple7
Fiona is furry.
("Fiona" "is" "furry" "+")
triple8
Fiona is green.
("Fiona" "is" "green" "+")
triple9
Fiona is red.
("Fiona" "is" "red" "+")
triple10
Fiona is smart.
("Fiona" "is" "smart" "+")
triple11
Fiona is young.
("Fiona" "is" "young" "+")
triple12
Fiona is white.
("Fiona" "is" "white" "+")
((triple11) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1