Bob is big. Bob is blue. Bob is cold. Bob is not green. Bob is white. Erin is not green. Erin is quiet. Erin is not white. Gary is not blue. Gary is quiet. Quiet people are big.
Bob is big.
("Bob" "is" "big" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is not green.
("Bob" "is" "green" "-")
Bob is white.
("Bob" "is" "white" "+")
Erin is not green.
("Erin" "is" "green" "-")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is not white.
("Erin" "is" "white" "-")
Gary is not blue.
("Gary" "is" "blue" "-")
Gary is quiet.
("Gary" "is" "quiet" "+")
Quiet people are big.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "big" "+"))
Bob is big.
True
1
proof
[(triple1)]
("Bob" "is" "big" "+")
triple1
Erin is not quiet.
False
1
inv-proof
[(triple7)]
("Erin" "is" "quiet" "-")
triple7
Erin is big.
True
2
proof
[(((triple7) -> rule1))]
("Erin" "is" "big" "+")
((triple7) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Gary is not big.
False
2
inv-proof
[(((triple10) -> rule1))]
("Gary" "is" "big" "-")
((triple10) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
Erin is not red.
Unknown
inv-random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is not green.[(triple4)] Bob is white.[(triple5)] Erin is not green.[(triple6)] Erin is not white.[(triple8)] Erin is quiet.[(triple7)] Gary is not blue.[(triple9)] Gary is quiet.[(triple10)] @1: Erin is big.[(((triple7) -> rule1))] Gary is big.[(((triple10) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is not green.
("Bob" "is" "green" "-")
triple4
Bob is white.
("Bob" "is" "white" "+")
triple5
Erin is not green.
("Erin" "is" "green" "-")
triple6
Erin is not white.
("Erin" "is" "white" "-")
triple8
Erin is quiet.
("Erin" "is" "quiet" "+")
triple7
Gary is not blue.
("Gary" "is" "blue" "-")
triple9
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10
Erin is big.
("Erin" "is" "big" "+")
((triple7) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple10) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1