Anne is big. Anne is not furry. Anne is not green. Charlie is green. Dave is furry. Erin is big. Erin is red. If Charlie is not smart then Charlie is big. If Anne is green then Anne is red. All round, green things are red. Furry things are green. If something is red and not big then it is furry. Round things are furry. If something is green then it is round. If Erin is smart and Erin is not furry then Erin is not kind.
Anne is big.
("Anne" "is" "big" "+")
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is not green.
("Anne" "is" "green" "-")
Charlie is green.
("Charlie" "is" "green" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is red.
("Erin" "is" "red" "+")
If Charlie is not smart then Charlie is big.
((("Charlie" "is" "smart" "~")) -> ("Charlie" "is" "big" "+"))
If Anne is green then Anne is red.
((("Anne" "is" "green" "+")) -> ("Anne" "is" "red" "+"))
All round, green things are red.
((("something" "is" "round" "+") ("something" "is" "green" "+")) -> ("something" "is" "red" "+"))
Furry things are green.
((("something" "is" "furry" "+")) -> ("something" "is" "green" "+"))
If something is red and not big then it is furry.
((("something" "is" "red" "+") ("something" "is" "big" "~")) -> ("something" "is" "furry" "+"))
Round things are furry.
((("something" "is" "round" "+")) -> ("something" "is" "furry" "+"))
If something is green then it is round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
If Erin is smart and Erin is not furry then Erin is not kind.
((("Erin" "is" "smart" "+") ("Erin" "is" "furry" "~")) -> ("Erin" "is" "kind" "-"))
Charlie is green.
True
1
proof
[(triple4)]
("Charlie" "is" "green" "+")
triple4
Anne is green.
False
1
inv-proof
[(triple3)]
("Anne" "is" "green" "+")
triple3
Erin is not green.
Unknown
inv-rconc
[@3: Erin is green.[CWA. Example of deepest failure = (rule4 <- rule6 <- rule7 <- FAIL)]]
("Erin" "is" "green" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Anne is big.[(triple1)] Anne is not furry.[(triple2)] Anne is not green.[(triple3)] Charlie is green.[(triple4)] Dave is furry.[(triple5)] Erin is big.[(triple6)] Erin is red.[(triple7)] @1: Charlie is round.[(((triple4) -> rule7))] Dave is green.[(((triple5) -> rule4))] @2: Charlie is furry.[(((((triple4) -> rule7)) -> rule6))] Charlie is red.[(((((triple4) -> rule7) triple4) -> rule3))] Dave is round.[(((((triple5) -> rule4)) -> rule7))] @3: Dave is red.[(((((((triple5) -> rule4)) -> rule7) ((triple5) -> rule4)) -> rule3))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is not furry.
("Anne" "is" "furry" "-")
triple2
Anne is not green.
("Anne" "is" "green" "-")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Dave is furry.
("Dave" "is" "furry" "+")
triple5
Erin is big.
("Erin" "is" "big" "+")
triple6
Erin is red.
("Erin" "is" "red" "+")
triple7
Charlie is round.
("Charlie" "is" "round" "+")
((triple4) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple5) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
((((triple4) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
((((triple4) -> (rule7 % int2)) triple4) -> (rule3 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((((triple5) -> (rule4 % int2))) -> (rule7 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
((((((triple5) -> (rule4 % int3))) -> (rule7 % int2)) ((triple5) -> (rule4 % int3))) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3