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