Anne is not big. Anne is green. Anne is nice. Anne is rough. Anne is not smart. Charlie is green. Charlie is rough. Charlie is not smart. Erin is green. Erin is not red. Erin is rough. Erin is smart. Gary is big. Gary is rough. Gary is smart. If Erin is big and Erin is kind then Erin is not rough. Rough things are nice. Rough, nice things are kind.
Anne is not big.
("Anne" "is" "big" "-")
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is not smart.
("Anne" "is" "smart" "-")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is not smart.
("Charlie" "is" "smart" "-")
Erin is green.
("Erin" "is" "green" "+")
Erin is not red.
("Erin" "is" "red" "-")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
If Erin is big and Erin is kind then Erin is not rough.
((("Erin" "is" "big" "+") ("Erin" "is" "kind" "+")) -> ("Erin" "is" "rough" "-"))
Rough things are nice.
((("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
Rough, nice things are kind.
((("something" "is" "rough" "+") ("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
Anne is rough.
True
1
proof
[(triple4)]
("Anne" "is" "rough" "+")
triple4
Anne is not rough.
False
1
inv-proof
[(triple4)]
("Anne" "is" "rough" "-")
triple4
Anne is kind.
True
3
proof
[(((triple4 triple3) -> rule3) OR ((triple4 ((triple4) -> rule2)) -> rule3))]
("Anne" "is" "kind" "+")
((triple4 triple3) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((triple4 ((triple4) -> (rule2 % int2))) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Erin is not nice.
False
2
inv-proof
[(((triple11) -> rule2))]
("Erin" "is" "nice" "-")
((triple11) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Charlie is kind.
True
4
proof
[(((triple7 ((triple7) -> rule2)) -> rule3))]
("Charlie" "is" "kind" "+")
((triple7 ((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is not kind.
False
4
inv-proof
[(((triple7 ((triple7) -> rule2)) -> rule3))]
("Charlie" "is" "kind" "-")
((triple7 ((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Anne is not red.
Unknown
inv-random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Anne is green.[(triple2)] Anne is nice.[(triple3 OR ((triple4) -> rule2))] Anne is not big.[(triple1)] Anne is not smart.[(triple5)] Anne is rough.[(triple4)] Charlie is green.[(triple6)] Charlie is not smart.[(triple8)] Charlie is rough.[(triple7)] Erin is green.[(triple9)] Erin is not red.[(triple10)] Erin is rough.[(triple11)] Erin is smart.[(triple12)] Gary is big.[(triple13)] Gary is rough.[(triple14)] Gary is smart.[(triple15)] @1: Anne is kind.[(((triple4 triple3) -> rule3) OR ((triple4 ((triple4) -> rule2)) -> rule3))] Charlie is nice.[(((triple7) -> rule2))] Erin is nice.[(((triple11) -> rule2))] Gary is nice.[(((triple14) -> rule2))] @2: Charlie is kind.[(((triple7 ((triple7) -> rule2)) -> rule3))] Erin is kind.[(((triple11 ((triple11) -> rule2)) -> rule3))] Gary is kind.[(((triple14 ((triple14) -> rule2)) -> rule3))]
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
((triple4) -> (rule2 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is not big.
("Anne" "is" "big" "-")
triple1
Anne is not smart.
("Anne" "is" "smart" "-")
triple5
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is not smart.
("Charlie" "is" "smart" "-")
triple8
Charlie is rough.
("Charlie" "is" "rough" "+")
triple7
Erin is green.
("Erin" "is" "green" "+")
triple9
Erin is not red.
("Erin" "is" "red" "-")
triple10
Erin is rough.
("Erin" "is" "rough" "+")
triple11
Erin is smart.
("Erin" "is" "smart" "+")
triple12
Gary is big.
("Gary" "is" "big" "+")
triple13
Gary is rough.
("Gary" "is" "rough" "+")
triple14
Gary is smart.
("Gary" "is" "smart" "+")
triple15
Anne is kind.
("Anne" "is" "kind" "+")
((triple4 triple3) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((triple4 ((triple4) -> (rule2 % int2))) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple7) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
((triple11) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple14) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple7 ((triple7) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
((triple11 ((triple11) -> (rule2 % int2))) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((triple14 ((triple14) -> (rule2 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2