Dave is big. Dave is cold. Dave is green. Dave is kind. Dave is red. Dave is rough. Dave is young. Erin is red. Erin is rough. Erin is young. All big things are green. All big, kind things are young. Rough things are green.
Dave is big.
("Dave" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is young.
("Erin" "is" "young" "+")
All big things are green.
((("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
All big, kind things are young.
((("something" "is" "big" "+") ("something" "is" "kind" "+")) -> ("something" "is" "young" "+"))
Rough things are green.
((("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
Dave is green.
True
1
proof
[(triple3 OR ((triple1) -> rule1) OR ((triple6) -> rule3))]
("Dave" "is" "green" "+")
triple3
((triple1) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((triple6) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is not kind.
False
1
inv-proof
[(triple4)]
("Dave" "is" "kind" "-")
triple4
Erin is green.
True
2
proof
[(((triple9) -> rule3))]
("Erin" "is" "green" "+")
((triple9) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not green.
False
2
inv-proof
[(((triple9) -> rule3))]
("Erin" "is" "green" "-")
((triple9) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is not cold.
Unknown
inv-random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is green.[(triple3 OR ((triple1) -> rule1) OR ((triple6) -> rule3))] Dave is kind.[(triple4)] Dave is red.[(triple5)] Dave is rough.[(triple6)] Dave is young.[(triple7 OR ((triple1 triple4) -> rule2))] Erin is red.[(triple8)] Erin is rough.[(triple9)] Erin is young.[(triple10)] @1: Erin is green.[(((triple9) -> rule3))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Dave is green.
("Dave" "is" "green" "+")
triple3
((triple1) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((triple6) -> (rule3 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple7
((triple1 triple4) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
triple8
Erin is rough.
("Erin" "is" "rough" "+")
triple9
Erin is young.
("Erin" "is" "young" "+")
triple10
Erin is green.
("Erin" "is" "green" "+")
((triple9) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1