Anne is cold. Anne is green. Anne is nice. Anne is red. Anne is rough. Anne is round. Anne is young. Bob is green. Bob is red. Bob is rough. Dave is cold. Dave is green. Dave is nice. Dave is rough. Dave is young. Erin is green. Young things are green. If something is red and not green then it is not rough.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is green.
("Erin" "is" "green" "+")
Young things are green.
((("something" "is" "young" "+")) -> ("something" "is" "green" "+"))
If something is red and not green then it is not rough.
((("something" "is" "red" "+") ("something" "is" "green" "~")) -> ("something" "is" "rough" "-"))
Dave is cold.
True
1
proof
[(triple11)]
("Dave" "is" "cold" "+")
triple11
Dave is not green.
False
1
inv-proof
[(triple12 OR ((triple15) -> rule1))]
("Dave" "is" "green" "-")
triple12
((triple15) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is not round.
Unknown
inv-random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Anne is cold.[(triple1)] Anne is green.[(triple2 OR ((triple7) -> rule1))] Anne is nice.[(triple3)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is round.[(triple6)] Anne is young.[(triple7)] Bob is green.[(triple8)] Bob is red.[(triple9)] Bob is rough.[(triple10)] Dave is cold.[(triple11)] Dave is green.[(triple12 OR ((triple15) -> rule1))] Dave is nice.[(triple13)] Dave is rough.[(triple14)] Dave is young.[(triple15)] Erin is green.[(triple16)]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple2
((triple7) -> (rule1 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple4
Anne is rough.
("Anne" "is" "rough" "+")
triple5
Anne is round.
("Anne" "is" "round" "+")
triple6
Anne is young.
("Anne" "is" "young" "+")
triple7
Bob is green.
("Bob" "is" "green" "+")
triple8
Bob is red.
("Bob" "is" "red" "+")
triple9
Bob is rough.
("Bob" "is" "rough" "+")
triple10
Dave is cold.
("Dave" "is" "cold" "+")
triple11
Dave is green.
("Dave" "is" "green" "+")
triple12
((triple15) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
triple13
Dave is rough.
("Dave" "is" "rough" "+")
triple14
Dave is young.
("Dave" "is" "young" "+")
triple15
Erin is green.
("Erin" "is" "green" "+")
triple16