Erin is big. Erin is blue. Erin is furry. Erin is green. Erin is nice. Erin is red. Erin is smart. All furry people are red. If Erin is nice then Erin is furry. All smart, green people are furry.
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
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" "+")
All furry people are red.
((("someone" "is" "furry" "+")) -> ("someone" "is" "red" "+"))
If Erin is nice then Erin is furry.
((("Erin" "is" "nice" "+")) -> ("Erin" "is" "furry" "+"))
All smart, green people are furry.
((("someone" "is" "smart" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
Erin is big.
True
1
proof
[(triple1)]
("Erin" "is" "big" "+")
triple1
Erin is not green.
False
1
inv-proof
[(triple4)]
("Erin" "is" "green" "-")
triple4
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is furry.[(triple3 OR ((triple5) -> rule2) OR ((triple7 triple4) -> rule3))] Erin is green.[(triple4)] Erin is nice.[(triple5)] Erin is red.[(triple6 OR ((triple3) -> rule1) OR ((((triple5) -> rule2)) -> rule1) OR ((((triple7 triple4) -> rule3)) -> rule1))] Erin is smart.[(triple7)]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is blue.
("Erin" "is" "blue" "+")
triple2
Erin is furry.
("Erin" "is" "furry" "+")
triple3
((triple5) -> (rule2 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((triple7 triple4) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
triple4
Erin is nice.
("Erin" "is" "nice" "+")
triple5
Erin is red.
("Erin" "is" "red" "+")
triple6
((triple3) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
((((triple5) -> (rule2 % int2))) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((triple7 triple4) -> (rule3 % int2))) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
triple7