Charlie is red. Erin is green. Erin is kind. Erin is red. Erin is young. Gary is furry. Gary is green. If someone is furry then they are rough. Round, young people are rough. If Gary is furry and Gary is round then Gary is red. Kind, rough people are not young. If someone is rough then they are round. All furry, round people are green.
Charlie is red.
("Charlie" "is" "red" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
If someone is furry then they are rough.
((("someone" "is" "furry" "+")) -> ("someone" "is" "rough" "+"))
Round, young people are rough.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If Gary is furry and Gary is round then Gary is red.
((("Gary" "is" "furry" "+") ("Gary" "is" "round" "+")) -> ("Gary" "is" "red" "+"))
Kind, rough people are not young.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "-"))
If someone is rough then they are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
All furry, round people are green.
((("someone" "is" "furry" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
Erin is red.
True
1
proof
[(triple4)]
("Erin" "is" "red" "+")
triple4
Erin is not red.
False
1
inv-proof
[(triple4)]
("Erin" "is" "red" "-")
triple4
Gary is rough.
True
2
proof
[(((triple6) -> rule1))]
("Gary" "is" "rough" "+")
((triple6) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is not rough.
False
2
inv-proof
[(((triple6) -> rule1))]
("Gary" "is" "rough" "-")
((triple6) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
True
3
proof
[(((((triple6) -> rule1)) -> rule5))]
("Gary" "is" "round" "+")
((((triple6) -> (rule1 % int2))) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is not round.
False
3
inv-proof
[(((((triple6) -> rule1)) -> rule5))]
("Gary" "is" "round" "-")
((((triple6) -> (rule1 % int2))) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is red.
True
5
proof
[(((triple6 ((((triple6) -> rule1)) -> rule5)) -> rule3))]
("Gary" "is" "red" "+")
((triple6 ((((triple6) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is not red.
False
5
inv-proof
[(((triple6 ((((triple6) -> rule1)) -> rule5)) -> rule3))]
("Gary" "is" "red" "-")
((triple6 ((((triple6) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Erin is not round.
Unknown
inv-rconc
[@2: Erin is round.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Erin" "is" "round" "-")
Charlie is round.
Unknown
rconc
[@2: Charlie is round.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Charlie" "is" "round" "+")
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "rough" "-")
Erin is rough.
Unknown
rconc
[@3: Erin is rough.[CWA. Example of deepest failure = (rule2 <- rule5 <- rule1 <- FAIL)]]
("Erin" "is" "rough" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Charlie is red.[(triple1)] Erin is green.[(triple2)] Erin is kind.[(triple3)] Erin is red.[(triple4)] Erin is young.[(triple5)] Gary is furry.[(triple6)] Gary is green.[(triple7 OR ((triple6 ((((triple6) -> rule1)) -> rule5)) -> rule6))] @1: Gary is rough.[(((triple6) -> rule1))] @2: Gary is round.[(((((triple6) -> rule1)) -> rule5))] @3: Gary is red.[(((triple6 ((((triple6) -> rule1)) -> rule5)) -> rule3))]
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Erin is green.
("Erin" "is" "green" "+")
triple2
Erin is kind.
("Erin" "is" "kind" "+")
triple3
Erin is red.
("Erin" "is" "red" "+")
triple4
Erin is young.
("Erin" "is" "young" "+")
triple5
Gary is furry.
("Gary" "is" "furry" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple7
((triple6 ((((triple6) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
((triple6) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((((triple6) -> (rule1 % int2))) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
((triple6 ((((triple6) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3