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