Bob is kind. Erin is kind. Erin is rough. Erin is young. Harry is cold. Harry is kind. Harry is young. If something is green and kind then it is cold. Kind things are green.
Bob is kind.
("Bob" "is" "kind" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is young.
("Erin" "is" "young" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is young.
("Harry" "is" "young" "+")
If something is green and kind then it is cold.
((("something" "is" "green" "+") ("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
Kind things are green.
((("something" "is" "kind" "+")) -> ("something" "is" "green" "+"))
Erin is young.
True
1
proof
[(triple4)]
("Erin" "is" "young" "+")
triple4
Bob is not kind.
False
1
inv-proof
[(triple1)]
("Bob" "is" "kind" "-")
triple1
Harry is green.
True
2
proof
[(((triple6) -> rule2))]
("Harry" "is" "green" "+")
((triple6) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is not green.
False
2
inv-proof
[(((triple6) -> rule2))]
("Harry" "is" "green" "-")
((triple6) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Erin is cold.
True
4
proof
[(((((triple2) -> rule2) triple2) -> rule1))]
("Erin" "is" "cold" "+")
((((triple2) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Bob is not cold.
False
4
inv-proof
[(((((triple1) -> rule2) triple1) -> rule1))]
("Bob" "is" "cold" "-")
((((triple1) -> (rule2 % int2)) triple1) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Harry is not smart.
Unknown
inv-random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Bob is not smart.
Unknown
inv-random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
Erin is not blue.
Unknown
inv-random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
@0: Bob is kind.[(triple1)] Erin is kind.[(triple2)] Erin is rough.[(triple3)] Erin is young.[(triple4)] Harry is cold.[(triple5 OR ((((triple6) -> rule2) triple6) -> rule1))] Harry is kind.[(triple6)] Harry is young.[(triple7)] @1: Bob is green.[(((triple1) -> rule2))] Erin is green.[(((triple2) -> rule2))] Harry is green.[(((triple6) -> rule2))] @2: Bob is cold.[(((((triple1) -> rule2) triple1) -> rule1))] Erin is cold.[(((((triple2) -> rule2) triple2) -> rule1))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
triple2
Erin is rough.
("Erin" "is" "rough" "+")
triple3
Erin is young.
("Erin" "is" "young" "+")
triple4
Harry is cold.
("Harry" "is" "cold" "+")
triple5
((((triple6) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
triple6
Harry is young.
("Harry" "is" "young" "+")
triple7
Bob is green.
("Bob" "is" "green" "+")
((triple1) -> (rule2 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
((triple2) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple6) -> (rule2 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((((triple1) -> (rule2 % int2)) triple1) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
((((triple2) -> (rule2 % int2)) triple2) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2