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