Anne is kind. Charlie is round. Dave is red. Fiona is green. If Dave is red then Dave is round. If someone is round then they are furry.
Anne is kind.
("Anne" "is" "kind" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Dave is red.
("Dave" "is" "red" "+")
Fiona is green.
("Fiona" "is" "green" "+")
If Dave is red then Dave is round.
((("Dave" "is" "red" "+")) -> ("Dave" "is" "round" "+"))
If someone is round then they are furry.
((("someone" "is" "round" "+")) -> ("someone" "is" "furry" "+"))
Fiona is green.
True
1
proof
[(triple4)]
("Fiona" "is" "green" "+")
triple4
Charlie is not round.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "round" "-")
triple2
Charlie is furry.
True
2
proof
[(((triple2) -> rule2))]
("Charlie" "is" "furry" "+")
((triple2) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Dave is not round.
False
2
inv-proof
[(((triple3) -> rule1))]
("Dave" "is" "round" "-")
((triple3) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is furry.
True
3
proof
[(((((triple3) -> rule1)) -> rule2))]
("Dave" "is" "furry" "+")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is not furry.
False
3
inv-proof
[(((((triple3) -> rule1)) -> rule2))]
("Dave" "is" "furry" "-")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Anne is not furry.
Unknown
inv-rconc
[@1: Anne is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "furry" "-")
Fiona is furry.
Unknown
rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "furry" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Anne is red.
Unknown
random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "+")
@0: Anne is kind.[(triple1)] Charlie is round.[(triple2)] Dave is red.[(triple3)] Fiona is green.[(triple4)] @1: Charlie is furry.[(((triple2) -> rule2))] Dave is round.[(((triple3) -> rule1))] @2: Dave is furry.[(((((triple3) -> rule1)) -> rule2))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Dave is red.
("Dave" "is" "red" "+")
triple3
Fiona is green.
("Fiona" "is" "green" "+")
triple4
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple2) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple3) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2