Charlie is green. Charlie is round. Erin is furry. Erin is nice. Fiona is nice. Fiona is red. Fiona is round. Fiona is white. Gary is red. Gary is round. If Gary is green and Gary is red then Gary is furry. All furry, white things are kind. All green things are round. All white, red things are green. All kind, nice things are red. Round things are red. All furry things are white.
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
If Gary is green and Gary is red then Gary is furry.
((("Gary" "is" "green" "+") ("Gary" "is" "red" "+")) -> ("Gary" "is" "furry" "+"))
All furry, white things are kind.
((("something" "is" "furry" "+") ("something" "is" "white" "+")) -> ("something" "is" "kind" "+"))
All green things are round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
All white, red things are green.
((("something" "is" "white" "+") ("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
All kind, nice things are red.
((("something" "is" "kind" "+") ("something" "is" "nice" "+")) -> ("something" "is" "red" "+"))
Round things are red.
((("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
All furry things are white.
((("something" "is" "furry" "+")) -> ("something" "is" "white" "+"))
Charlie is green.
True
1
proof
[(triple1)]
("Charlie" "is" "green" "+")
triple1
Fiona is not round.
False
1
inv-proof
[(triple7 OR ((((triple8 triple6) -> rule4)) -> rule3))]
("Fiona" "is" "round" "-")
triple7
((((triple8 triple6) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is green.
True
3
proof
[(((triple8 triple6) -> rule4) OR ((triple8 ((triple7) -> rule6)) -> rule4))]
("Fiona" "is" "green" "+")
((triple8 triple6) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple8 ((triple7) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Erin is not white.
False
2
inv-proof
[(((triple3) -> rule7))]
("Erin" "is" "white" "-")
((triple3) -> (rule7 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is kind.
True
4
proof
[(((triple3 ((triple3) -> rule7)) -> rule2))]
("Erin" "is" "kind" "+")
((triple3 ((triple3) -> (rule7 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is not kind.
False
4
inv-proof
[(((triple3 ((triple3) -> rule7)) -> rule2))]
("Erin" "is" "kind" "-")
((triple3 ((triple3) -> (rule7 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is red.
True
6
proof
[(((((triple3 ((triple3) -> rule7)) -> rule2) triple4) -> rule5))]
("Erin" "is" "red" "+")
((((triple3 ((triple3) -> (rule7 % int3))) -> (rule2 % int2)) triple4) -> (rule5 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is not red.
False
6
inv-proof
[(((((triple3 ((triple3) -> rule7)) -> rule2) triple4) -> rule5))]
("Erin" "is" "red" "-")
((((triple3 ((triple3) -> (rule7 % int3))) -> (rule2 % int2)) triple4) -> (rule5 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is green.
True
9
proof
[(((((triple3) -> rule7) ((((triple3 ((triple3) -> rule7)) -> rule2) triple4) -> rule5)) -> rule4))]
("Erin" "is" "green" "+")
((((triple3) -> (rule7 % int4)) ((((triple3 ((triple3) -> (rule7 % int4))) -> (rule2 % int3)) triple4) -> (rule5 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is not green.
False
9
inv-proof
[(((((triple3) -> rule7) ((((triple3 ((triple3) -> rule7)) -> rule2) triple4) -> rule5)) -> rule4))]
("Erin" "is" "green" "-")
((((triple3) -> (rule7 % int4)) ((((triple3 ((triple3) -> (rule7 % int4))) -> (rule2 % int3)) triple4) -> (rule5 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is round.
True
10
proof
[(((((((triple3) -> rule7) ((((triple3 ((triple3) -> rule7)) -> rule2) triple4) -> rule5)) -> rule4)) -> rule3))]
("Erin" "is" "round" "+")
((((((triple3) -> (rule7 % int5)) ((((triple3 ((triple3) -> (rule7 % int5))) -> (rule2 % int4)) triple4) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
Erin is not round.
False
10
inv-proof
[(((((((triple3) -> rule7) ((((triple3 ((triple3) -> rule7)) -> rule2) triple4) -> rule5)) -> rule4)) -> rule3))]
("Erin" "is" "round" "-")
((((((triple3) -> (rule7 % int5)) ((((triple3 ((triple3) -> (rule7 % int5))) -> (rule2 % int4)) triple4) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
Gary is not kind.
Unknown
inv-rconc
[@4: Gary is kind.[CWA. Example of deepest failure = (rule2 <- rule1 <- rule4 <- rule7 <- FAIL)]]
("Gary" "is" "kind" "-")
Gary is furry.
Unknown
rconc
[@3: Gary is furry.[CWA. Example of deepest failure = (rule1 <- rule4 <- rule7 <- FAIL)]]
("Gary" "is" "furry" "+")
Fiona is not kind.
Unknown
inv-rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "kind" "-")
Gary is white.
Unknown
rconc
[@3: Gary is white.[CWA. Example of deepest failure = (rule7 <- rule1 <- rule4 <- FAIL)]]
("Gary" "is" "white" "+")
Charlie is not kind.
Unknown
inv-rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "kind" "-")
Gary is green.
Unknown
rconc
[@3: Gary is green.[CWA. Example of deepest failure = (rule4 <- rule7 <- rule1 <- FAIL)]]
("Gary" "is" "green" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
Charlie is not furry.
Unknown
inv-random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Charlie is green.[(triple1)] Charlie is round.[(triple2 OR ((triple1) -> rule3))] Erin is furry.[(triple3)] Erin is nice.[(triple4)] Fiona is nice.[(triple5)] Fiona is red.[(triple6 OR ((triple7) -> rule6))] Fiona is round.[(triple7 OR ((((triple8 triple6) -> rule4)) -> rule3))] Fiona is white.[(triple8)] Gary is red.[(triple9 OR ((triple10) -> rule6))] Gary is round.[(triple10)] @1: Charlie is red.[(((triple2) -> rule6) OR ((((triple1) -> rule3)) -> rule6))] Erin is white.[(((triple3) -> rule7))] Fiona is green.[(((triple8 triple6) -> rule4) OR ((triple8 ((triple7) -> rule6)) -> rule4))] @2: Erin is kind.[(((triple3 ((triple3) -> rule7)) -> rule2))] @3: Erin is red.[(((((triple3 ((triple3) -> rule7)) -> rule2) triple4) -> rule5))] @4: Erin is green.[(((((triple3) -> rule7) ((((triple3 ((triple3) -> rule7)) -> rule2) triple4) -> rule5)) -> rule4))] @5: Erin is round.[(((((((triple3) -> rule7) ((((triple3 ((triple3) -> rule7)) -> rule2) triple4) -> rule5)) -> rule4)) -> rule3))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Charlie is round.
("Charlie" "is" "round" "+")
triple2
((triple1) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
triple3
Erin is nice.
("Erin" "is" "nice" "+")
triple4
Fiona is nice.
("Fiona" "is" "nice" "+")
triple5
Fiona is red.
("Fiona" "is" "red" "+")
triple6
((triple7) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
triple7
((((triple8 triple6) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple9
((triple10) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
triple10
Charlie is red.
("Charlie" "is" "red" "+")
((triple2) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((((triple1) -> (rule3 % int2))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
((triple3) -> (rule7 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((triple8 triple6) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple8 ((triple7) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
((triple3 ((triple3) -> (rule7 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
((((triple3 ((triple3) -> (rule7 % int3))) -> (rule2 % int2)) triple4) -> (rule5 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
((((triple3) -> (rule7 % int4)) ((((triple3 ((triple3) -> (rule7 % int4))) -> (rule2 % int3)) triple4) -> (rule5 % int2))) -> (rule4 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
((((((triple3) -> (rule7 % int5)) ((((triple3 ((triple3) -> (rule7 % int5))) -> (rule2 % int4)) triple4) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5