Erin is rough. If Erin is rough and Erin is young then Erin is quiet. If Erin is rough then Erin is quiet. All rough, young things are red. All big, young things are quiet. All big, cold things are young. If Erin is cold then Erin is green. If something is quiet and rough then it is red. If something is green and cold then it is rough.
Erin is rough.
("Erin" "is" "rough" "+")
If Erin is rough and Erin is young then Erin is quiet.
((("Erin" "is" "rough" "+") ("Erin" "is" "young" "+")) -> ("Erin" "is" "quiet" "+"))
If Erin is rough then Erin is quiet.
((("Erin" "is" "rough" "+")) -> ("Erin" "is" "quiet" "+"))
All rough, young things are red.
((("something" "is" "rough" "+") ("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
All big, young things are quiet.
((("something" "is" "big" "+") ("something" "is" "young" "+")) -> ("something" "is" "quiet" "+"))
All big, cold things are young.
((("something" "is" "big" "+") ("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
If Erin is cold then Erin is green.
((("Erin" "is" "cold" "+")) -> ("Erin" "is" "green" "+"))
If something is quiet and rough then it is red.
((("something" "is" "quiet" "+") ("something" "is" "rough" "+")) -> ("something" "is" "red" "+"))
If something is green and cold then it is rough.
((("something" "is" "green" "+") ("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
Erin is rough.
True
1
proof
[(triple1)]
("Erin" "is" "rough" "+")
triple1
Erin is not rough.
False
1
inv-proof
[(triple1)]
("Erin" "is" "rough" "-")
triple1
Erin is quiet.
True
2
proof
[(((triple1) -> rule2))]
("Erin" "is" "quiet" "+")
((triple1) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is not quiet.
False
2
inv-proof
[(((triple1) -> rule2))]
("Erin" "is" "quiet" "-")
((triple1) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
True
4
proof
[(((((triple1) -> rule2) triple1) -> rule7))]
("Erin" "is" "red" "+")
((((triple1) -> (rule2 % int2)) triple1) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is not red.
False
4
inv-proof
[(((((triple1) -> rule2) triple1) -> rule7))]
("Erin" "is" "red" "-")
((((triple1) -> (rule2 % int2)) triple1) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is not green.
Unknown
inv-rconc
[@1: Erin is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Erin" "is" "green" "-")
Erin is young.
Unknown
rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Erin" "is" "young" "+")
Erin is not big.
Unknown
inv-random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
@0: Erin is rough.[(triple1)] @1: Erin is quiet.[(((triple1) -> rule2))] @2: Erin is red.[(((((triple1) -> rule2) triple1) -> rule7))]
Erin is rough.
("Erin" "is" "rough" "+")
triple1
Erin is quiet.
("Erin" "is" "quiet" "+")
((triple1) -> (rule2 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
((((triple1) -> (rule2 % int2)) triple1) -> (rule7 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2