Erin is green. Gary is not green. If Erin is green then Erin is young. All nice people are red. If someone is blue then they are not quiet. If someone is young then they are green. Red people are rough. All young people are nice. If Erin is nice and Erin is not green then Erin is rough. If Erin is red and Erin is not nice then Erin is rough.
Erin is green.
("Erin" "is" "green" "+")
Gary is not green.
("Gary" "is" "green" "-")
If Erin is green then Erin is young.
((("Erin" "is" "green" "+")) -> ("Erin" "is" "young" "+"))
All nice people are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is blue then they are not quiet.
((("someone" "is" "blue" "+")) -> ("someone" "is" "quiet" "-"))
If someone is young then they are green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
Red people are rough.
((("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
All young people are nice.
((("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If Erin is nice and Erin is not green then Erin is rough.
((("Erin" "is" "nice" "+") ("Erin" "is" "green" "~")) -> ("Erin" "is" "rough" "+"))
If Erin is red and Erin is not nice then Erin is rough.
((("Erin" "is" "red" "+") ("Erin" "is" "nice" "~")) -> ("Erin" "is" "rough" "+"))
Gary is not green.
True
1
proof
[(triple2)]
("Gary" "is" "green" "-")
triple2
Gary is green.
False
1
inv-proof
[(triple2)]
("Gary" "is" "green" "+")
triple2
Erin is young.
True
2
proof
[(((triple1) -> rule1))]
("Erin" "is" "young" "+")
((triple1) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is not young.
False
2
inv-proof
[(((triple1) -> rule1))]
("Erin" "is" "young" "-")
((triple1) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is nice.
True
3
proof
[(((((triple1) -> rule1)) -> rule6))]
("Erin" "is" "nice" "+")
((((triple1) -> (rule1 % int2))) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is not nice.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule6))]
("Erin" "is" "nice" "-")
((((triple1) -> (rule1 % int2))) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is red.
True
4
proof
[(((((((triple1) -> rule1)) -> rule6)) -> rule2))]
("Erin" "is" "red" "+")
((((((triple1) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is not red.
False
4
inv-proof
[(((((((triple1) -> rule1)) -> rule6)) -> rule2))]
("Erin" "is" "red" "-")
((((((triple1) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Gary is not red.
Unknown
inv-rconc
[@2: Gary is red.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Gary" "is" "red" "-")
Gary is nice.
Unknown
rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "nice" "+")
Gary is not rough.
Unknown
inv-rconc
[@3: Gary is rough.[CWA. Example of deepest failure = (rule5 <- rule2 <- rule6 <- FAIL)]]
("Gary" "is" "rough" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
Gary is not quiet.
Unknown
inv-random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
Erin is not quiet.
Unknown
inv-random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Erin is green.[(triple1)] Gary is not green.[(triple2)] @1: Erin is young.[(((triple1) -> rule1))] @2: Erin is nice.[(((((triple1) -> rule1)) -> rule6))] @3: Erin is red.[(((((((triple1) -> rule1)) -> rule6)) -> rule2))] @4: Erin is rough.[(((((((((triple1) -> rule1)) -> rule6)) -> rule2)) -> rule5))]
Erin is green.
("Erin" "is" "green" "+")
triple1
Gary is not green.
("Gary" "is" "green" "-")
triple2
Erin is young.
("Erin" "is" "young" "+")
((triple1) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
((((triple1) -> (rule1 % int2))) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
((((((triple1) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
((((((((triple1) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4