Charlie is big. Charlie is kind. Charlie is not quiet. Charlie is red. Charlie is not round. Charlie is young. Erin is quiet. Erin is red. Erin is round. Gary is big. Gary is kind. Gary is young. If something is round and quiet then it is young. If Gary is kind then Gary is not red. If Gary is red and Gary is big then Gary is young. Round things are quiet. Red things are kind. If something is furry and quiet then it is big. Kind things are furry. If Erin is round and Erin is not quiet then Erin is big.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is not round.
("Charlie" "is" "round" "-")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is young.
("Gary" "is" "young" "+")
If something is round and quiet then it is young.
((("something" "is" "round" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
If Gary is kind then Gary is not red.
((("Gary" "is" "kind" "+")) -> ("Gary" "is" "red" "-"))
If Gary is red and Gary is big then Gary is young.
((("Gary" "is" "red" "+") ("Gary" "is" "big" "+")) -> ("Gary" "is" "young" "+"))
Round things are quiet.
((("something" "is" "round" "+")) -> ("something" "is" "quiet" "+"))
Red things are kind.
((("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
If something is furry and quiet then it is big.
((("something" "is" "furry" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "big" "+"))
Kind things are furry.
((("something" "is" "kind" "+")) -> ("something" "is" "furry" "+"))
If Erin is round and Erin is not quiet then Erin is big.
((("Erin" "is" "round" "+") ("Erin" "is" "quiet" "~")) -> ("Erin" "is" "big" "+"))
Gary is young.
True
1
proof
[(triple12)]
("Gary" "is" "young" "+")
triple12
Charlie is round.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "round" "+")
triple5
Charlie is furry.
True
2
proof
[(((triple2) -> rule7) OR ((((triple4) -> rule5)) -> rule7))]
("Charlie" "is" "furry" "+")
((triple2) -> (rule7 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((((triple4) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Erin is not kind.
False
2
inv-proof
[(((triple8) -> rule5))]
("Erin" "is" "kind" "-")
((triple8) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is furry.
True
3
proof
[(((((triple8) -> rule5)) -> rule7))]
("Erin" "is" "furry" "+")
((((triple8) -> (rule5 % int2))) -> (rule7 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is not furry.
False
3
inv-proof
[(((((triple8) -> rule5)) -> rule7))]
("Erin" "is" "furry" "-")
((((triple8) -> (rule5 % int2))) -> (rule7 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is big.
True
5
proof
[(((((((triple8) -> rule5)) -> rule7) triple7) -> rule6) OR ((((((triple8) -> rule5)) -> rule7) ((triple9) -> rule4)) -> rule6))]
("Erin" "is" "big" "+")
((((((triple8) -> (rule5 % int3))) -> (rule7 % int2)) triple7) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((((triple8) -> (rule5 % int4))) -> (rule7 % int3)) ((triple9) -> (rule4 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is not big.
False
5
inv-proof
[(((((((triple8) -> rule5)) -> rule7) triple7) -> rule6) OR ((((((triple8) -> rule5)) -> rule7) ((triple9) -> rule4)) -> rule6))]
("Erin" "is" "big" "-")
((((((triple8) -> (rule5 % int3))) -> (rule7 % int2)) triple7) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((((triple8) -> (rule5 % int4))) -> (rule7 % int3)) ((triple9) -> (rule4 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Gary is not quiet.
Unknown
inv-rconc
[@1: Gary is quiet.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "quiet" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Charlie is big.[(triple1)] Charlie is kind.[(triple2 OR ((triple4) -> rule5))] Charlie is not quiet.[(triple3)] Charlie is not round.[(triple5)] Charlie is red.[(triple4)] Charlie is young.[(triple6)] Erin is quiet.[(triple7 OR ((triple9) -> rule4))] Erin is red.[(triple8)] Erin is round.[(triple9)] Gary is big.[(triple10)] Gary is kind.[(triple11)] Gary is young.[(triple12)] @1: Charlie is furry.[(((triple2) -> rule7) OR ((((triple4) -> rule5)) -> rule7))] Erin is kind.[(((triple8) -> rule5))] Erin is young.[(((triple9 triple7) -> rule1) OR ((triple9 ((triple9) -> rule4)) -> rule1))] Gary is furry.[(((triple11) -> rule7))] Gary is not red.[(((triple11) -> rule2))] @2: Erin is furry.[(((((triple8) -> rule5)) -> rule7))] @3: Erin is big.[(((((((triple8) -> rule5)) -> rule7) triple7) -> rule6) OR ((((((triple8) -> rule5)) -> rule7) ((triple9) -> rule4)) -> rule6))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
((triple4) -> (rule5 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is not quiet.
("Charlie" "is" "quiet" "-")
triple3
Charlie is not round.
("Charlie" "is" "round" "-")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple6
Erin is quiet.
("Erin" "is" "quiet" "+")
triple7
((triple9) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
triple8
Erin is round.
("Erin" "is" "round" "+")
triple9
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple2) -> (rule7 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((((triple4) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
((triple8) -> (rule5 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
((triple9 triple7) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple9 ((triple9) -> (rule4 % int2))) -> (rule1 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
((triple11) -> (rule7 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not red.
("Gary" "is" "red" "-")
((triple11) -> (rule2 % int1))
Gary is not red.
("Gary" "is" "red" "-")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((((triple8) -> (rule5 % int2))) -> (rule7 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
((((((triple8) -> (rule5 % int3))) -> (rule7 % int2)) triple7) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((((triple8) -> (rule5 % int4))) -> (rule7 % int3)) ((triple9) -> (rule4 % int2))) -> (rule6 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4