Erin is cold. Erin is not furry. Erin is green. Erin is round. Erin is smart. Erin is white. Erin is young. If something is young and not round then it is smart. If something is white and cold then it is smart. All white, cold things are young. If Erin is white and Erin is green then Erin is smart. All green things are cold. If Erin is not round then Erin is not young.
Erin is cold.
("Erin" "is" "cold" "+")
Erin is not furry.
("Erin" "is" "furry" "-")
Erin is green.
("Erin" "is" "green" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
If something is young and not round then it is smart.
((("something" "is" "young" "+") ("something" "is" "round" "~")) -> ("something" "is" "smart" "+"))
If something is white and cold then it is smart.
((("something" "is" "white" "+") ("something" "is" "cold" "+")) -> ("something" "is" "smart" "+"))
All white, cold things are young.
((("something" "is" "white" "+") ("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
If Erin is white and Erin is green then Erin is smart.
((("Erin" "is" "white" "+") ("Erin" "is" "green" "+")) -> ("Erin" "is" "smart" "+"))
All green things are cold.
((("something" "is" "green" "+")) -> ("something" "is" "cold" "+"))
If Erin is not round then Erin is not young.
((("Erin" "is" "round" "~")) -> ("Erin" "is" "young" "-"))
Erin is round.
True
1
proof
[(triple4)]
("Erin" "is" "round" "+")
triple4
Erin is not smart.
False
1
inv-proof
[(triple5 OR ((triple6 triple1) -> rule2) OR ((triple6 triple3) -> rule4) OR ((triple6 ((triple3) -> rule5)) -> rule2))]
("Erin" "is" "smart" "-")
triple5
((triple6 triple1) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((triple6 triple3) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((triple6 ((triple3) -> (rule5 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
@0: Erin is cold.[(triple1 OR ((triple3) -> rule5))] Erin is green.[(triple3)] Erin is not furry.[(triple2)] Erin is round.[(triple4)] Erin is smart.[(triple5 OR ((triple6 triple1) -> rule2) OR ((triple6 triple3) -> rule4) OR ((triple6 ((triple3) -> rule5)) -> rule2))] Erin is white.[(triple6)] Erin is young.[(triple7 OR ((triple6 triple1) -> rule3) OR ((triple6 ((triple3) -> rule5)) -> rule3))]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
((triple3) -> (rule5 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
triple3
Erin is not furry.
("Erin" "is" "furry" "-")
triple2
Erin is round.
("Erin" "is" "round" "+")
triple4
Erin is smart.
("Erin" "is" "smart" "+")
triple5
((triple6 triple1) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((triple6 triple3) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((triple6 ((triple3) -> (rule5 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
triple6
Erin is young.
("Erin" "is" "young" "+")
triple7
((triple6 triple1) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple6 ((triple3) -> (rule5 % int2))) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2