Anne is green. Anne is not red. Dave is big. Dave is not green. Dave is red. Dave is not smart. Erin is green. Erin is not smart. Harry is kind. Harry is rough. Kind people are big. If Anne is not green then Anne is big. If Dave is green then Dave is smart. If someone is smart then they are nice. If Anne is big and Anne is not kind then Anne is nice. If Dave is red and Dave is not big then Dave is rough. If someone is rough and not big then they are red. If someone is nice and not kind then they are red.
Anne is green.
("Anne" "is" "green" "+")
Anne is not red.
("Anne" "is" "red" "-")
Dave is big.
("Dave" "is" "big" "+")
Dave is not green.
("Dave" "is" "green" "-")
Dave is red.
("Dave" "is" "red" "+")
Dave is not smart.
("Dave" "is" "smart" "-")
Erin is green.
("Erin" "is" "green" "+")
Erin is not smart.
("Erin" "is" "smart" "-")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Kind people are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If Anne is not green then Anne is big.
((("Anne" "is" "green" "~")) -> ("Anne" "is" "big" "+"))
If Dave is green then Dave is smart.
((("Dave" "is" "green" "+")) -> ("Dave" "is" "smart" "+"))
If someone is smart then they are nice.
((("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "+"))
If Anne is big and Anne is not kind then Anne is nice.
((("Anne" "is" "big" "+") ("Anne" "is" "kind" "~")) -> ("Anne" "is" "nice" "+"))
If Dave is red and Dave is not big then Dave is rough.
((("Dave" "is" "red" "+") ("Dave" "is" "big" "~")) -> ("Dave" "is" "rough" "+"))
If someone is rough and not big then they are red.
((("someone" "is" "rough" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "red" "+"))
If someone is nice and not kind then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "red" "+"))
Anne is green.
True
1
proof
[(triple1)]
("Anne" "is" "green" "+")
triple1
Anne is not green.
False
1
inv-proof
[(triple1)]
("Anne" "is" "green" "-")
triple1
Harry is big.
True
2
proof
[(((triple9) -> rule1))]
("Harry" "is" "big" "+")
((triple9) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is not big.
False
2
inv-proof
[(((triple9) -> rule1))]
("Harry" "is" "big" "-")
((triple9) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Dave is not nice.
Unknown
inv-rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "nice" "-")
Erin is nice.
Unknown
rconc
[@1: Erin is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "nice" "+")
Erin is not kind.
Unknown
inv-random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
@0: Anne is green.[(triple1)] Anne is not red.[(triple2)] Dave is big.[(triple3)] Dave is not green.[(triple4)] Dave is not smart.[(triple6)] Dave is red.[(triple5)] Erin is green.[(triple7)] Erin is not smart.[(triple8)] Harry is kind.[(triple9)] Harry is rough.[(triple10)] @1: Harry is big.[(((triple9) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is not red.
("Anne" "is" "red" "-")
triple2
Dave is big.
("Dave" "is" "big" "+")
triple3
Dave is not green.
("Dave" "is" "green" "-")
triple4
Dave is not smart.
("Dave" "is" "smart" "-")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple5
Erin is green.
("Erin" "is" "green" "+")
triple7
Erin is not smart.
("Erin" "is" "smart" "-")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Harry is big.
("Harry" "is" "big" "+")
((triple9) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1