Bob is red. Charlie is white. Charlie is young. Erin is green. Erin is red. Erin is white. Harry is smart. All green things are not big. All smart, red things are not big.
Bob is red.
("Bob" "is" "red" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is white.
("Erin" "is" "white" "+")
Harry is smart.
("Harry" "is" "smart" "+")
All green things are not big.
((("something" "is" "green" "+")) -> ("something" "is" "big" "-"))
All smart, red things are not big.
((("something" "is" "smart" "+") ("something" "is" "red" "+")) -> ("something" "is" "big" "-"))
Harry is smart.
True
1
proof
[(triple7)]
("Harry" "is" "smart" "+")
triple7
Erin is not red.
False
1
inv-proof
[(triple5)]
("Erin" "is" "red" "-")
triple5
Erin is not big.
True
2
proof
[(((triple4) -> rule1))]
("Erin" "is" "big" "-")
((triple4) -> (rule1 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1
Erin is big.
False
2
inv-proof
[(((triple4) -> rule1))]
("Erin" "is" "big" "+")
((triple4) -> (rule1 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1
Bob is not white.
Unknown
inv-random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
Bob is not smart.
Unknown
inv-random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
@0: Bob is red.[(triple1)] Charlie is white.[(triple2)] Charlie is young.[(triple3)] Erin is green.[(triple4)] Erin is red.[(triple5)] Erin is white.[(triple6)] Harry is smart.[(triple7)] @1: Erin is not big.[(((triple4) -> rule1))]
Bob is red.
("Bob" "is" "red" "+")
triple1
Charlie is white.
("Charlie" "is" "white" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Erin is green.
("Erin" "is" "green" "+")
triple4
Erin is red.
("Erin" "is" "red" "+")
triple5
Erin is white.
("Erin" "is" "white" "+")
triple6
Harry is smart.
("Harry" "is" "smart" "+")
triple7
Erin is not big.
("Erin" "is" "big" "-")
((triple4) -> (rule1 % int1))
Erin is not big.
("Erin" "is" "big" "-")
int1