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