Bob is big. Bob is blue. Bob is kind. Bob is quiet. Bob is not smart. Erin is not big. Erin is blue. Erin is green. Erin is kind. Erin is quiet. Erin is smart. Erin is not young. Gary is big. Gary is green. Gary is quiet. Gary is young. If someone is quiet and not smart then they are not green.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is not smart.
("Bob" "is" "smart" "-")
Erin is not big.
("Erin" "is" "big" "-")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is not young.
("Erin" "is" "young" "-")
Gary is big.
("Gary" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is quiet and not smart then they are not green.
((("someone" "is" "quiet" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "green" "-"))
Erin is not young.
True
1
proof
[(triple12)]
("Erin" "is" "young" "-")
triple12
Erin is big.
False
1
inv-proof
[(triple6)]
("Erin" "is" "big" "+")
triple6
Bob is not green.
True
3
proof
[(((triple4 triple5) -> rule1))]
("Bob" "is" "green" "-")
((triple4 triple5) -> (rule1 % int1))
Bob is not green.
("Bob" "is" "green" "-")
int1
Bob is green.
False
3
inv-proof
[(((triple4 triple5) -> rule1))]
("Bob" "is" "green" "+")
((triple4 triple5) -> (rule1 % int1))
Bob is not green.
("Bob" "is" "green" "-")
int1
Gary is not smart.
Unknown
inv-random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is kind.[(triple3)] Bob is not smart.[(triple5)] Bob is quiet.[(triple4)] Erin is blue.[(triple7)] Erin is green.[(triple8)] Erin is kind.[(triple9)] Erin is not big.[(triple6)] Erin is not young.[(triple12)] Erin is quiet.[(triple10)] Erin is smart.[(triple11)] Gary is big.[(triple13)] Gary is green.[(triple14)] Gary is quiet.[(triple15)] Gary is young.[(triple16)] @1: Bob is not green.[(((triple4 triple5) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is not smart.
("Bob" "is" "smart" "-")
triple5
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
Erin is blue.
("Erin" "is" "blue" "+")
triple7
Erin is green.
("Erin" "is" "green" "+")
triple8
Erin is kind.
("Erin" "is" "kind" "+")
triple9
Erin is not big.
("Erin" "is" "big" "-")
triple6
Erin is not young.
("Erin" "is" "young" "-")
triple12
Erin is quiet.
("Erin" "is" "quiet" "+")
triple10
Erin is smart.
("Erin" "is" "smart" "+")
triple11
Gary is big.
("Gary" "is" "big" "+")
triple13
Gary is green.
("Gary" "is" "green" "+")
triple14
Gary is quiet.
("Gary" "is" "quiet" "+")
triple15
Gary is young.
("Gary" "is" "young" "+")
triple16
Bob is not green.
("Bob" "is" "green" "-")
((triple4 triple5) -> (rule1 % int1))
Bob is not green.
("Bob" "is" "green" "-")
int1