Anne is young. Dave is big. Erin is big. Erin is not quiet. Harry is not green. Harry is red. Harry is round. Big things are green.
Anne is young.
("Anne" "is" "young" "+")
Dave is big.
("Dave" "is" "big" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is not quiet.
("Erin" "is" "quiet" "-")
Harry is not green.
("Harry" "is" "green" "-")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Big things are green.
((("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
Dave is big.
True
1
proof
[(triple2)]
("Dave" "is" "big" "+")
triple2
Erin is quiet.
False
1
inv-proof
[(triple4)]
("Erin" "is" "quiet" "+")
triple4
Dave is green.
True
2
proof
[(((triple2) -> rule1))]
("Dave" "is" "green" "+")
((triple2) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Erin is not green.
False
2
inv-proof
[(((triple3) -> rule1))]
("Erin" "is" "green" "-")
((triple3) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Anne is not green.
Unknown
inv-rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Anne" "is" "green" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Anne is young.[(triple1)] Dave is big.[(triple2)] Erin is big.[(triple3)] Erin is not quiet.[(triple4)] Harry is not green.[(triple5)] Harry is red.[(triple6)] Harry is round.[(triple7)] @1: Dave is green.[(((triple2) -> rule1))] Erin is green.[(((triple3) -> rule1))]
Anne is young.
("Anne" "is" "young" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple2
Erin is big.
("Erin" "is" "big" "+")
triple3
Erin is not quiet.
("Erin" "is" "quiet" "-")
triple4
Harry is not green.
("Harry" "is" "green" "-")
triple5
Harry is red.
("Harry" "is" "red" "+")
triple6
Harry is round.
("Harry" "is" "round" "+")
triple7
Dave is green.
("Dave" "is" "green" "+")
((triple2) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
((triple3) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1