Bob is cold. Bob is not green. Bob is not red. Bob is smart. Bob is not white. Bob is young. Erin is not blue. Erin is not cold. Erin is not green. Erin is smart. Erin is white. Erin is young. All young people are not green. If someone is red then they are green. If Bob is green then Bob is smart. Red people are white. Red people are not young. If someone is white then they are young. If Erin is green and Erin is not blue then Erin is smart. If Bob is white then Bob is not cold.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is not green.
("Bob" "is" "green" "-")
Bob is not red.
("Bob" "is" "red" "-")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is not white.
("Bob" "is" "white" "-")
Bob is young.
("Bob" "is" "young" "+")
Erin is not blue.
("Erin" "is" "blue" "-")
Erin is not cold.
("Erin" "is" "cold" "-")
Erin is not green.
("Erin" "is" "green" "-")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
All young people are not green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "-"))
If someone is red then they are green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If Bob is green then Bob is smart.
((("Bob" "is" "green" "+")) -> ("Bob" "is" "smart" "+"))
Red people are white.
((("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
Red people are not young.
((("someone" "is" "red" "+")) -> ("someone" "is" "young" "-"))
If someone is white then they are young.
((("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
If Erin is green and Erin is not blue then Erin is smart.
((("Erin" "is" "green" "+") ("Erin" "is" "blue" "~")) -> ("Erin" "is" "smart" "+"))
If Bob is white then Bob is not cold.
((("Bob" "is" "white" "+")) -> ("Bob" "is" "cold" "-"))
Bob is cold.
True
1
proof
[(triple1)]
("Bob" "is" "cold" "+")
triple1
Erin is blue.
False
1
inv-proof
[(triple7)]
("Erin" "is" "blue" "+")
triple7
Erin is not red.
Unknown
inv-random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is cold.[(triple1)] Bob is not green.[(triple2 OR ((triple6) -> rule1))] Bob is not red.[(triple3)] Bob is not white.[(triple5)] Bob is smart.[(triple4)] Bob is young.[(triple6)] Erin is not blue.[(triple7)] Erin is not cold.[(triple8)] Erin is not green.[(triple9 OR ((triple12) -> rule1) OR ((((triple11) -> rule6)) -> rule1))] Erin is smart.[(triple10)] Erin is white.[(triple11)] Erin is young.[(triple12 OR ((triple11) -> rule6))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is not green.
("Bob" "is" "green" "-")
triple2
((triple6) -> (rule1 % int1))
Bob is not green.
("Bob" "is" "green" "-")
int1
Bob is not red.
("Bob" "is" "red" "-")
triple3
Bob is not white.
("Bob" "is" "white" "-")
triple5
Bob is smart.
("Bob" "is" "smart" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple6
Erin is not blue.
("Erin" "is" "blue" "-")
triple7
Erin is not cold.
("Erin" "is" "cold" "-")
triple8
Erin is not green.
("Erin" "is" "green" "-")
triple9
((triple12) -> (rule1 % int1))
Erin is not green.
("Erin" "is" "green" "-")
int1
((((triple11) -> (rule6 % int2))) -> (rule1 % int1))
Erin is not green.
("Erin" "is" "green" "-")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
triple10
Erin is white.
("Erin" "is" "white" "+")
triple11
Erin is young.
("Erin" "is" "young" "+")
triple12
((triple11) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1