Charlie is big. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is young. Dave is big. Dave is furry. Erin is big. Erin is kind. Erin is not red. Gary is kind. Gary is young. If Gary is green then Gary is young. If someone is red then they are furry. If Charlie is quiet then Charlie is red.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is not red.
("Erin" "is" "red" "-")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is young.
("Gary" "is" "young" "+")
If Gary is green then Gary is young.
((("Gary" "is" "green" "+")) -> ("Gary" "is" "young" "+"))
If someone is red then they are furry.
((("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
If Charlie is quiet then Charlie is red.
((("Charlie" "is" "quiet" "+")) -> ("Charlie" "is" "red" "+"))
Gary is young.
True
1
proof
[(triple12)]
("Gary" "is" "young" "+")
triple12
Charlie is not young.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "young" "-")
triple5
Charlie is red.
True
2
proof
[(((triple4) -> rule3))]
("Charlie" "is" "red" "+")
((triple4) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is not red.
False
2
inv-proof
[(((triple4) -> rule3))]
("Charlie" "is" "red" "-")
((triple4) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is furry.
True
3
proof
[(((((triple4) -> rule3)) -> rule2))]
("Charlie" "is" "furry" "+")
((((triple4) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is not furry.
False
3
inv-proof
[(((((triple4) -> rule3)) -> rule2))]
("Charlie" "is" "furry" "-")
((((triple4) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Erin is not furry.
Unknown
inv-rconc
[@1: Erin is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "furry" "-")
Gary is furry.
Unknown
rconc
[@1: Gary is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "furry" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Gary is big.
Unknown
random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "+")
Erin is not young.
Unknown
inv-random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Charlie is big.[(triple1)] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Charlie is quiet.[(triple4)] Charlie is young.[(triple5)] Dave is big.[(triple6)] Dave is furry.[(triple7)] Erin is big.[(triple8)] Erin is kind.[(triple9)] Erin is not red.[(triple10)] Gary is kind.[(triple11)] Gary is young.[(triple12)] @1: Charlie is red.[(((triple4) -> rule3))] @2: Charlie is furry.[(((((triple4) -> rule3)) -> rule2))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is furry.
("Dave" "is" "furry" "+")
triple7
Erin is big.
("Erin" "is" "big" "+")
triple8
Erin is kind.
("Erin" "is" "kind" "+")
triple9
Erin is not red.
("Erin" "is" "red" "-")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12
Charlie is red.
("Charlie" "is" "red" "+")
((triple4) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
((((triple4) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2