Bob is blue. Bob is cold. Bob is round. Bob is smart. Bob is white. Bob is young. Erin is cold. Erin is nice. Erin is smart. Erin is young. If something is white then it is blue. Nice things are white.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is young.
("Erin" "is" "young" "+")
If something is white then it is blue.
((("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
Nice things are white.
((("something" "is" "nice" "+")) -> ("something" "is" "white" "+"))
Erin is cold.
True
1
proof
[(triple7)]
("Erin" "is" "cold" "+")
triple7
Bob is not young.
False
1
inv-proof
[(triple6)]
("Bob" "is" "young" "-")
triple6
Erin is white.
True
2
proof
[(((triple8) -> rule2))]
("Erin" "is" "white" "+")
((triple8) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is not white.
False
2
inv-proof
[(((triple8) -> rule2))]
("Erin" "is" "white" "-")
((triple8) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
True
3
proof
[(((((triple8) -> rule2)) -> rule1))]
("Erin" "is" "blue" "+")
((((triple8) -> (rule2 % int2))) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is not blue.
False
3
inv-proof
[(((((triple8) -> rule2)) -> rule1))]
("Erin" "is" "blue" "-")
((((triple8) -> (rule2 % int2))) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Bob is blue.[(triple1 OR ((triple5) -> rule1))] Bob is cold.[(triple2)] Bob is round.[(triple3)] Bob is smart.[(triple4)] Bob is white.[(triple5)] Bob is young.[(triple6)] Erin is cold.[(triple7)] Erin is nice.[(triple8)] Erin is smart.[(triple9)] Erin is young.[(triple10)] @1: Erin is white.[(((triple8) -> rule2))] @2: Erin is blue.[(((((triple8) -> rule2)) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
((triple5) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple3
Bob is smart.
("Bob" "is" "smart" "+")
triple4
Bob is white.
("Bob" "is" "white" "+")
triple5
Bob is young.
("Bob" "is" "young" "+")
triple6
Erin is cold.
("Erin" "is" "cold" "+")
triple7
Erin is nice.
("Erin" "is" "nice" "+")
triple8
Erin is smart.
("Erin" "is" "smart" "+")
triple9
Erin is young.
("Erin" "is" "young" "+")
triple10
Erin is white.
("Erin" "is" "white" "+")
((triple8) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((((triple8) -> (rule2 % int2))) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2