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