Charlie is green. Charlie is red. Charlie is rough. Charlie is not round. Charlie is not white. Dave is rough. Dave is round. Dave is white. Dave is young. Erin is not rough. Erin is smart. Erin is white. Fiona is green. Fiona is red. Fiona is young. If someone is round then they are young. All round people are young. All red, young people are rough. If someone is rough then they are not smart. If Charlie is rough then Charlie is green. If someone is young and not smart then they are white.
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is not round.
("Charlie" "is" "round" "-")
Charlie is not white.
("Charlie" "is" "white" "-")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is not rough.
("Erin" "is" "rough" "-")
Erin is smart.
("Erin" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If someone is round then they are young.
((("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
All round people are young.
((("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
All red, young people are rough.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough then they are not smart.
((("someone" "is" "rough" "+")) -> ("someone" "is" "smart" "-"))
If Charlie is rough then Charlie is green.
((("Charlie" "is" "rough" "+")) -> ("Charlie" "is" "green" "+"))
If someone is young and not smart then they are white.
((("someone" "is" "young" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "white" "+"))
Fiona is red.
True
1
proof
[(triple14)]
("Fiona" "is" "red" "+")
triple14
Erin is not white.
False
1
inv-proof
[(triple12)]
("Erin" "is" "white" "-")
triple12
Fiona is rough.
True
3
proof
[(((triple14 triple15) -> rule3))]
("Fiona" "is" "rough" "+")
((triple14 triple15) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is not rough.
False
3
inv-proof
[(((triple14 triple15) -> rule3))]
("Fiona" "is" "rough" "-")
((triple14 triple15) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is not smart.
True
4
proof
[(((((triple14 triple15) -> rule3)) -> rule4))]
("Fiona" "is" "smart" "-")
((((triple14 triple15) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is smart.
False
4
inv-proof
[(((((triple14 triple15) -> rule3)) -> rule4))]
("Fiona" "is" "smart" "+")
((((triple14 triple15) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is white.
True
6
proof
[(((triple15 ((((triple14 triple15) -> rule3)) -> rule4)) -> rule6))]
("Fiona" "is" "white" "+")
((triple15 ((((triple14 triple15) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not smart.
("Fiona" "is" "smart" "-")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is not white.
False
6
inv-proof
[(((triple15 ((((triple14 triple15) -> rule3)) -> rule4)) -> rule6))]
("Fiona" "is" "white" "-")
((triple15 ((((triple14 triple15) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not smart.
("Fiona" "is" "smart" "-")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Erin is not young.
Unknown
inv-rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "young" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "young" "+")
Erin is not round.
Unknown
inv-random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
Erin is not red.
Unknown
inv-random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
Fiona is not round.
Unknown
inv-random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
@0: Charlie is green.[(triple1 OR ((triple3) -> rule5))] Charlie is not round.[(triple4)] Charlie is not white.[(triple5)] Charlie is red.[(triple2)] Charlie is rough.[(triple3)] Dave is rough.[(triple6)] Dave is round.[(triple7)] Dave is white.[(triple8 OR ((triple9 ((triple6) -> rule4)) -> rule6) OR ((((triple7) -> rule1) ((triple6) -> rule4)) -> rule6) OR ((((triple7) -> rule2) ((triple6) -> rule4)) -> rule6))] Dave is young.[(triple9 OR ((triple7) -> rule1) OR ((triple7) -> rule2))] Erin is not rough.[(triple10)] Erin is smart.[(triple11)] Erin is white.[(triple12)] Fiona is green.[(triple13)] Fiona is red.[(triple14)] Fiona is young.[(triple15)] @1: Charlie is not smart.[(((triple3) -> rule4))] Dave is not smart.[(((triple6) -> rule4))] Fiona is rough.[(((triple14 triple15) -> rule3))] @2: Fiona is not smart.[(((((triple14 triple15) -> rule3)) -> rule4))] @3: Fiona is white.[(((triple15 ((((triple14 triple15) -> rule3)) -> rule4)) -> rule6))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
((triple3) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is not round.
("Charlie" "is" "round" "-")
triple4
Charlie is not white.
("Charlie" "is" "white" "-")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
triple7
Dave is white.
("Dave" "is" "white" "+")
triple8
((triple9 ((triple6) -> (rule4 % int2))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is not smart.
("Dave" "is" "smart" "-")
int2
((((triple7) -> (rule1 % int3)) ((triple6) -> (rule4 % int2))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is not smart.
("Dave" "is" "smart" "-")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((triple7) -> (rule2 % int3)) ((triple6) -> (rule4 % int2))) -> (rule6 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is not smart.
("Dave" "is" "smart" "-")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
triple9
((triple7) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((triple7) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Erin is not rough.
("Erin" "is" "rough" "-")
triple10
Erin is smart.
("Erin" "is" "smart" "+")
triple11
Erin is white.
("Erin" "is" "white" "+")
triple12
Fiona is green.
("Fiona" "is" "green" "+")
triple13
Fiona is red.
("Fiona" "is" "red" "+")
triple14
Fiona is young.
("Fiona" "is" "young" "+")
triple15
Charlie is not smart.
("Charlie" "is" "smart" "-")
((triple3) -> (rule4 % int1))
Charlie is not smart.
("Charlie" "is" "smart" "-")
int1
Dave is not smart.
("Dave" "is" "smart" "-")
((triple6) -> (rule4 % int1))
Dave is not smart.
("Dave" "is" "smart" "-")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple14 triple15) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is not smart.
("Fiona" "is" "smart" "-")
((((triple14 triple15) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
((triple15 ((((triple14 triple15) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not smart.
("Fiona" "is" "smart" "-")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3