Bob is blue. Bob is young. Charlie is blue. Charlie is cold. Charlie is young. Erin is cold. Erin is quiet. If Erin is cold then Erin is green.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
If Erin is cold then Erin is green.
((("Erin" "is" "cold" "+")) -> ("Erin" "is" "green" "+"))
Bob is blue.
True
1
proof
[(triple1)]
("Bob" "is" "blue" "+")
triple1
Erin is not quiet.
False
1
inv-proof
[(triple7)]
("Erin" "is" "quiet" "-")
triple7
Erin is green.
True
2
proof
[(((triple6) -> rule1))]
("Erin" "is" "green" "+")
((triple6) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not green.
False
2
inv-proof
[(((triple6) -> rule1))]
("Erin" "is" "green" "-")
((triple6) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not young.
Unknown
inv-random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
Bob is not furry.
Unknown
inv-random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Bob is blue.[(triple1)] Bob is young.[(triple2)] Charlie is blue.[(triple3)] Charlie is cold.[(triple4)] Charlie is young.[(triple5)] Erin is cold.[(triple6)] Erin is quiet.[(triple7)] @1: Erin is green.[(((triple6) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is young.
("Bob" "is" "young" "+")
triple2
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple5
Erin is cold.
("Erin" "is" "cold" "+")
triple6
Erin is quiet.
("Erin" "is" "quiet" "+")
triple7
Erin is green.
("Erin" "is" "green" "+")
((triple6) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1