Anne is not big. Anne is blue. Anne is not white. Anne is young. Erin is big. Erin is blue. Erin is white. Erin is young. Gary is blue. Gary is not nice. Gary is round. Gary is young. Harry is big. Harry is nice. Harry is rough. Harry is young. Blue, nice people are young. If someone is big and young then they are nice.
Anne is not big.
("Anne" "is" "big" "-")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is not white.
("Anne" "is" "white" "-")
Anne is young.
("Anne" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is not nice.
("Gary" "is" "nice" "-")
Gary is round.
("Gary" "is" "round" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is young.
("Harry" "is" "young" "+")
Blue, nice people are young.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is big and young then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
Gary is round.
True
1
proof
[(triple11)]
("Gary" "is" "round" "+")
triple11
Gary is nice.
False
1
inv-proof
[(triple10)]
("Gary" "is" "nice" "+")
triple10
Erin is nice.
True
3
proof
[(((triple5 triple8) -> rule2))]
("Erin" "is" "nice" "+")
((triple5 triple8) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is not nice.
False
3
inv-proof
[(((triple5 triple8) -> rule2))]
("Erin" "is" "nice" "-")
((triple5 triple8) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Anne is not nice.
Unknown
inv-rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "nice" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
Harry is not white.
Unknown
inv-random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Anne is blue.[(triple2)] Anne is not big.[(triple1)] Anne is not white.[(triple3)] Anne is young.[(triple4)] Erin is big.[(triple5)] Erin is blue.[(triple6)] Erin is white.[(triple7)] Erin is young.[(triple8)] Gary is blue.[(triple9)] Gary is not nice.[(triple10)] Gary is round.[(triple11)] Gary is young.[(triple12)] Harry is big.[(triple13)] Harry is nice.[(triple14 OR ((triple13 triple16) -> rule2))] Harry is rough.[(triple15)] Harry is young.[(triple16)] @1: Erin is nice.[(((triple5 triple8) -> rule2))]
Anne is blue.
("Anne" "is" "blue" "+")
triple2
Anne is not big.
("Anne" "is" "big" "-")
triple1
Anne is not white.
("Anne" "is" "white" "-")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Erin is big.
("Erin" "is" "big" "+")
triple5
Erin is blue.
("Erin" "is" "blue" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7
Erin is young.
("Erin" "is" "young" "+")
triple8
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is not nice.
("Gary" "is" "nice" "-")
triple10
Gary is round.
("Gary" "is" "round" "+")
triple11
Gary is young.
("Gary" "is" "young" "+")
triple12
Harry is big.
("Harry" "is" "big" "+")
triple13
Harry is nice.
("Harry" "is" "nice" "+")
triple14
((triple13 triple16) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
triple15
Harry is young.
("Harry" "is" "young" "+")
triple16
Erin is nice.
("Erin" "is" "nice" "+")
((triple5 triple8) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1