Charlie is furry. Charlie is green. Charlie is red. Charlie is young. Dave is red. Fiona is not furry. Fiona is round. Fiona is young. Gary is quiet. Gary is round. Young things are red. If something is quiet and furry then it is round. If Dave is red then Dave is young. If Fiona is furry and Fiona is red then Fiona is round. If Dave is young then Dave is furry. If something is round then it is not green.
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is red.
("Dave" "is" "red" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
Young things are red.
((("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
If something is quiet and furry then it is round.
((("something" "is" "quiet" "+") ("something" "is" "furry" "+")) -> ("something" "is" "round" "+"))
If Dave is red then Dave is young.
((("Dave" "is" "red" "+")) -> ("Dave" "is" "young" "+"))
If Fiona is furry and Fiona is red then Fiona is round.
((("Fiona" "is" "furry" "+") ("Fiona" "is" "red" "+")) -> ("Fiona" "is" "round" "+"))
If Dave is young then Dave is furry.
((("Dave" "is" "young" "+")) -> ("Dave" "is" "furry" "+"))
If something is round then it is not green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "-"))
Gary is quiet.
True
1
proof
[(triple9)]
("Gary" "is" "quiet" "+")
triple9
Fiona is not round.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "round" "-")
triple7
Fiona is red.
True
2
proof
[(((triple8) -> rule1))]
("Fiona" "is" "red" "+")
((triple8) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is not red.
False
2
inv-proof
[(((triple8) -> rule1))]
("Fiona" "is" "red" "-")
((triple8) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Dave is furry.
True
3
proof
[(((((triple5) -> rule3)) -> rule5))]
("Dave" "is" "furry" "+")
((((triple5) -> (rule3 % int2))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is not furry.
False
3
inv-proof
[(((((triple5) -> rule3)) -> rule5))]
("Dave" "is" "furry" "-")
((((triple5) -> (rule3 % int2))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "round" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "round" "+")
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "red" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
Charlie is not quiet.
Unknown
inv-random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Charlie is furry.[(triple1)] Charlie is green.[(triple2)] Charlie is red.[(triple3 OR ((triple4) -> rule1))] Charlie is young.[(triple4)] Dave is red.[(triple5)] Fiona is not furry.[(triple6)] Fiona is round.[(triple7)] Fiona is young.[(triple8)] Gary is quiet.[(triple9)] Gary is round.[(triple10)] @1: Dave is young.[(((triple5) -> rule3))] Fiona is not green.[(((triple7) -> rule6))] Fiona is red.[(((triple8) -> rule1))] Gary is not green.[(((triple10) -> rule6))] @2: Dave is furry.[(((((triple5) -> rule3)) -> rule5))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple3
((triple4) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple5
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple6
Fiona is round.
("Fiona" "is" "round" "+")
triple7
Fiona is young.
("Fiona" "is" "young" "+")
triple8
Gary is quiet.
("Gary" "is" "quiet" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple10
Dave is young.
("Dave" "is" "young" "+")
((triple5) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Fiona is not green.
("Fiona" "is" "green" "-")
((triple7) -> (rule6 % int1))
Fiona is not green.
("Fiona" "is" "green" "-")
int1
Fiona is red.
("Fiona" "is" "red" "+")
((triple8) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Gary is not green.
("Gary" "is" "green" "-")
((triple10) -> (rule6 % int1))
Gary is not green.
("Gary" "is" "green" "-")
int1
Dave is furry.
("Dave" "is" "furry" "+")
((((triple5) -> (rule3 % int2))) -> (rule5 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2