Bob is green. Bob is red. Bob is rough. Bob is young. Erin is not cold. Erin is rough. Fiona is cold. All young people are not kind. If someone is kind and red then they are not young. If someone is green and not kind then they are not cold.
Bob is green.
("Bob" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is not cold.
("Erin" "is" "cold" "-")
Erin is rough.
("Erin" "is" "rough" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
All young people are not kind.
((("someone" "is" "young" "+")) -> ("someone" "is" "kind" "-"))
If someone is kind and red then they are not young.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "-"))
If someone is green and not kind then they are not cold.
((("someone" "is" "green" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "cold" "-"))
Bob is rough.
True
1
proof
[(triple3)]
("Bob" "is" "rough" "+")
triple3
Erin is not rough.
False
1
inv-proof
[(triple6)]
("Erin" "is" "rough" "-")
triple6
Bob is not kind.
True
2
proof
[(((triple4) -> rule1))]
("Bob" "is" "kind" "-")
((triple4) -> (rule1 % int1))
Bob is not kind.
("Bob" "is" "kind" "-")
int1
Bob is kind.
False
2
inv-proof
[(((triple4) -> rule1))]
("Bob" "is" "kind" "+")
((triple4) -> (rule1 % int1))
Bob is not kind.
("Bob" "is" "kind" "-")
int1
Bob is not cold.
True
4
proof
[(((triple1 ((triple4) -> rule1)) -> rule3))]
("Bob" "is" "cold" "-")
((triple1 ((triple4) -> (rule1 % int2))) -> (rule3 % int1))
Bob is not cold.
("Bob" "is" "cold" "-")
int1
Bob is not kind.
("Bob" "is" "kind" "-")
int2
Bob is cold.
False
4
inv-proof
[(((triple1 ((triple4) -> rule1)) -> rule3))]
("Bob" "is" "cold" "+")
((triple1 ((triple4) -> (rule1 % int2))) -> (rule3 % int1))
Bob is not cold.
("Bob" "is" "cold" "-")
int1
Bob is not kind.
("Bob" "is" "kind" "-")
int2
Bob is not furry.
Unknown
inv-random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "-")
Fiona is kind.
Unknown
random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "+")
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Erin is kind.
Unknown
random
[@0: Erin is kind.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "kind" "+")
@0: Bob is green.[(triple1)] Bob is red.[(triple2)] Bob is rough.[(triple3)] Bob is young.[(triple4)] Erin is not cold.[(triple5)] Erin is rough.[(triple6)] Fiona is cold.[(triple7)] @1: Bob is not kind.[(((triple4) -> rule1))] @2: Bob is not cold.[(((triple1 ((triple4) -> rule1)) -> rule3))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Bob is young.
("Bob" "is" "young" "+")
triple4
Erin is not cold.
("Erin" "is" "cold" "-")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
Bob is not kind.
("Bob" "is" "kind" "-")
((triple4) -> (rule1 % int1))
Bob is not kind.
("Bob" "is" "kind" "-")
int1
Bob is not cold.
("Bob" "is" "cold" "-")
((triple1 ((triple4) -> (rule1 % int2))) -> (rule3 % int1))
Bob is not cold.
("Bob" "is" "cold" "-")
int1
Bob is not kind.
("Bob" "is" "kind" "-")
int2