Charlie is big. Charlie is blue. Charlie is green. Charlie is rough. Charlie is smart. Charlie is white. Charlie is young. Dave is blue. Dave is rough. Dave is smart. Dave is white. Erin is big. Erin is smart. Erin is white. Erin is young. If Erin is white then Erin is rough. Rough people are green.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Erin is young.
("Erin" "is" "young" "+")
If Erin is white then Erin is rough.
((("Erin" "is" "white" "+")) -> ("Erin" "is" "rough" "+"))
Rough people are green.
((("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
Charlie is white.
True
1
proof
[(triple6)]
("Charlie" "is" "white" "+")
triple6
Erin is not white.
False
1
inv-proof
[(triple14)]
("Erin" "is" "white" "-")
triple14
Erin is rough.
True
2
proof
[(((triple14) -> rule1))]
("Erin" "is" "rough" "+")
((triple14) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is not rough.
False
2
inv-proof
[(((triple14) -> rule1))]
("Erin" "is" "rough" "-")
((triple14) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is green.
True
3
proof
[(((((triple14) -> rule1)) -> rule2))]
("Erin" "is" "green" "+")
((((triple14) -> (rule1 % int2))) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is not green.
False
3
inv-proof
[(((((triple14) -> rule1)) -> rule2))]
("Erin" "is" "green" "-")
((((triple14) -> (rule1 % int2))) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is green.[(triple3 OR ((triple4) -> rule2))] Charlie is rough.[(triple4)] Charlie is smart.[(triple5)] Charlie is white.[(triple6)] Charlie is young.[(triple7)] Dave is blue.[(triple8)] Dave is rough.[(triple9)] Dave is smart.[(triple10)] Dave is white.[(triple11)] Erin is big.[(triple12)] Erin is smart.[(triple13)] Erin is white.[(triple14)] Erin is young.[(triple15)] @1: Dave is green.[(((triple9) -> rule2))] Erin is rough.[(((triple14) -> rule1))] @2: Erin is green.[(((((triple14) -> rule1)) -> rule2))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple2
Charlie is green.
("Charlie" "is" "green" "+")
triple3
((triple4) -> (rule2 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Charlie is smart.
("Charlie" "is" "smart" "+")
triple5
Charlie is white.
("Charlie" "is" "white" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple7
Dave is blue.
("Dave" "is" "blue" "+")
triple8
Dave is rough.
("Dave" "is" "rough" "+")
triple9
Dave is smart.
("Dave" "is" "smart" "+")
triple10
Dave is white.
("Dave" "is" "white" "+")
triple11
Erin is big.
("Erin" "is" "big" "+")
triple12
Erin is smart.
("Erin" "is" "smart" "+")
triple13
Erin is white.
("Erin" "is" "white" "+")
triple14
Erin is young.
("Erin" "is" "young" "+")
triple15
Dave is green.
("Dave" "is" "green" "+")
((triple9) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
((triple14) -> (rule1 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
((((triple14) -> (rule1 % int2))) -> (rule2 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2