Anne is big. Anne is green. Anne is quiet. Anne is round. Erin is big. Erin is green. Erin is kind. Erin is red. Erin is rough. Harry is big. Harry is green. Harry is not quiet. Harry is red. Harry is rough. Harry is round. If Harry is red then Harry is green. If Anne is not rough then Anne is red. If Harry is round and Harry is not kind then Harry is not red.
Anne is big.
("Anne" "is" "big" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is not quiet.
("Harry" "is" "quiet" "-")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
If Harry is red then Harry is green.
((("Harry" "is" "red" "+")) -> ("Harry" "is" "green" "+"))
If Anne is not rough then Anne is red.
((("Anne" "is" "rough" "~")) -> ("Anne" "is" "red" "+"))
If Harry is round and Harry is not kind then Harry is not red.
((("Harry" "is" "round" "+") ("Harry" "is" "kind" "~")) -> ("Harry" "is" "red" "-"))
Anne is round.
True
1
proof
[(triple4)]
("Anne" "is" "round" "+")
triple4
Erin is not big.
False
1
inv-proof
[(triple5)]
("Erin" "is" "big" "-")
triple5
Anne is not red.
Unknown
inv-rconc
[@1: Anne is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "red" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is quiet.[(triple3)] Anne is round.[(triple4)] Erin is big.[(triple5)] Erin is green.[(triple6)] Erin is kind.[(triple7)] Erin is red.[(triple8)] Erin is rough.[(triple9)] Harry is big.[(triple10)] Harry is green.[(triple11 OR ((triple13) -> rule1))] Harry is not quiet.[(triple12)] Harry is red.[(triple13)] Harry is rough.[(triple14)] Harry is round.[(triple15)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Erin is big.
("Erin" "is" "big" "+")
triple5
Erin is green.
("Erin" "is" "green" "+")
triple6
Erin is kind.
("Erin" "is" "kind" "+")
triple7
Erin is red.
("Erin" "is" "red" "+")
triple8
Erin is rough.
("Erin" "is" "rough" "+")
triple9
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is green.
("Harry" "is" "green" "+")
triple11
((triple13) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is not quiet.
("Harry" "is" "quiet" "-")
triple12
Harry is red.
("Harry" "is" "red" "+")
triple13
Harry is rough.
("Harry" "is" "rough" "+")
triple14
Harry is round.
("Harry" "is" "round" "+")
triple15