Anne is big. Bob is green. Dave is big. Erin is kind. If Erin is red and Erin is furry then Erin is round. If Erin is kind then Erin is red. Red people are round.
Anne is big.
("Anne" "is" "big" "+")
Bob is green.
("Bob" "is" "green" "+")
Dave is big.
("Dave" "is" "big" "+")
Erin is kind.
("Erin" "is" "kind" "+")
If Erin is red and Erin is furry then Erin is round.
((("Erin" "is" "red" "+") ("Erin" "is" "furry" "+")) -> ("Erin" "is" "round" "+"))
If Erin is kind then Erin is red.
((("Erin" "is" "kind" "+")) -> ("Erin" "is" "red" "+"))
Red people are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Dave is big.
True
1
proof
[(triple3)]
("Dave" "is" "big" "+")
triple3
Dave is not big.
False
1
inv-proof
[(triple3)]
("Dave" "is" "big" "-")
triple3
Erin is red.
True
2
proof
[(((triple4) -> rule2))]
("Erin" "is" "red" "+")
((triple4) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is not red.
False
2
inv-proof
[(((triple4) -> rule2))]
("Erin" "is" "red" "-")
((triple4) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "round" "-")
Anne is round.
Unknown
rconc
[@1: Anne is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "round" "+")
Erin is not green.
Unknown
inv-random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
@0: Anne is big.[(triple1)] Bob is green.[(triple2)] Dave is big.[(triple3)] Erin is kind.[(triple4)] @1: Erin is red.[(((triple4) -> rule2))] @2: Erin is round.[(((((triple4) -> rule2)) -> rule3))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
Dave is big.
("Dave" "is" "big" "+")
triple3
Erin is kind.
("Erin" "is" "kind" "+")
triple4
Erin is red.
("Erin" "is" "red" "+")
((triple4) -> (rule2 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((((triple4) -> (rule2 % int2))) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2