Bob is green. Bob is kind. Bob is smart. Erin is green. Erin is kind. Erin is rough. Gary is cold. Gary is kind. Gary is red. Gary is smart. If Erin is green then Erin is smart. All green, smart things are not round.
Bob is green.
("Bob" "is" "green" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is smart.
("Gary" "is" "smart" "+")
If Erin is green then Erin is smart.
((("Erin" "is" "green" "+")) -> ("Erin" "is" "smart" "+"))
All green, smart things are not round.
((("something" "is" "green" "+") ("something" "is" "smart" "+")) -> ("something" "is" "round" "-"))
Gary is kind.
True
1
proof
[(triple8)]
("Gary" "is" "kind" "+")
triple8
Gary is not red.
False
1
inv-proof
[(triple9)]
("Gary" "is" "red" "-")
triple9
Bob is not round.
True
3
proof
[(((triple1 triple3) -> rule2))]
("Bob" "is" "round" "-")
((triple1 triple3) -> (rule2 % int1))
Bob is not round.
("Bob" "is" "round" "-")
int1
Erin is not smart.
False
2
inv-proof
[(((triple4) -> rule1))]
("Erin" "is" "smart" "-")
((triple4) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is not round.
True
4
proof
[(((triple4 ((triple4) -> rule1)) -> rule2))]
("Erin" "is" "round" "-")
((triple4 ((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Erin is not round.
("Erin" "is" "round" "-")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is round.
False
4
inv-proof
[(((triple4 ((triple4) -> rule1)) -> rule2))]
("Erin" "is" "round" "+")
((triple4 ((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Erin is not round.
("Erin" "is" "round" "-")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
Bob is not cold.
Unknown
inv-random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
Erin is not cold.
Unknown
inv-random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Bob is green.[(triple1)] Bob is kind.[(triple2)] Bob is smart.[(triple3)] Erin is green.[(triple4)] Erin is kind.[(triple5)] Erin is rough.[(triple6)] Gary is cold.[(triple7)] Gary is kind.[(triple8)] Gary is red.[(triple9)] Gary is smart.[(triple10)] @1: Bob is not round.[(((triple1 triple3) -> rule2))] Erin is smart.[(((triple4) -> rule1))] @2: Erin is not round.[(((triple4 ((triple4) -> rule1)) -> rule2))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is smart.
("Bob" "is" "smart" "+")
triple3
Erin is green.
("Erin" "is" "green" "+")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is smart.
("Gary" "is" "smart" "+")
triple10
Bob is not round.
("Bob" "is" "round" "-")
((triple1 triple3) -> (rule2 % int1))
Bob is not round.
("Bob" "is" "round" "-")
int1
Erin is smart.
("Erin" "is" "smart" "+")
((triple4) -> (rule1 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is not round.
("Erin" "is" "round" "-")
((triple4 ((triple4) -> (rule1 % int2))) -> (rule2 % int1))
Erin is not round.
("Erin" "is" "round" "-")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2