Erin is green. Green people are quiet. If someone is smart and furry then they are green. If someone is nice and smart then they are rough. Cold, green people are rough. If someone is rough then they are quiet. If Erin is quiet and Erin is green then Erin is cold.
Erin is green.
("Erin" "is" "green" "+")
Green people are quiet.
((("someone" "is" "green" "+")) -> ("someone" "is" "quiet" "+"))
If someone is smart and furry then they are green.
((("someone" "is" "smart" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and smart then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "rough" "+"))
Cold, green people are rough.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough then they are quiet.
((("someone" "is" "rough" "+")) -> ("someone" "is" "quiet" "+"))
If Erin is quiet and Erin is green then Erin is cold.
((("Erin" "is" "quiet" "+") ("Erin" "is" "green" "+")) -> ("Erin" "is" "cold" "+"))
Erin is green.
True
1
proof
[(triple1)]
("Erin" "is" "green" "+")
triple1
Erin is not green.
False
1
inv-proof
[(triple1)]
("Erin" "is" "green" "-")
triple1
Erin is not smart.
Unknown
inv-random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Erin is green.[(triple1)] @1: Erin is quiet.[(((triple1) -> rule1))] @2: Erin is cold.[(((((triple1) -> rule1) triple1) -> rule6))] @3: Erin is rough.[(((((((triple1) -> rule1) triple1) -> rule6) triple1) -> rule4))]
Erin is green.
("Erin" "is" "green" "+")
triple1
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple1) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
((((triple1) -> (rule1 % int2)) triple1) -> (rule6 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
((((((triple1) -> (rule1 % int3)) triple1) -> (rule6 % int2)) triple1) -> (rule4 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3