Anne is green. Dave is furry. Dave is kind. Dave is rough. Fiona is furry. Fiona is green. Fiona is smart. Fiona is white. Harry is rough. Harry is white. All rough, furry people are smart. Rough, white people are smart. All white, rough people are green. All kind people are blue. Smart, blue people are green. All rough people are furry. All blue people are kind. All furry, rough people are blue.
Anne is green.
("Anne" "is" "green" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is white.
("Harry" "is" "white" "+")
All rough, furry people are smart.
((("someone" "is" "rough" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "smart" "+"))
Rough, white people are smart.
((("someone" "is" "rough" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "smart" "+"))
All white, rough people are green.
((("someone" "is" "white" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
All kind people are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
Smart, blue people are green.
((("someone" "is" "smart" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
All rough people are furry.
((("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "+"))
All blue people are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
All furry, rough people are blue.
((("someone" "is" "furry" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
Fiona is smart.
True
1
proof
[(triple7)]
("Fiona" "is" "smart" "+")
triple7
Fiona is not smart.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "smart" "-")
triple7
Anne is not kind.
Unknown
inv-rconc
[@2: Anne is kind.[CWA. Example of deepest failure = (rule7 <- rule4 <- FAIL)]]
("Anne" "is" "kind" "-")
Anne is rough.
Unknown
random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "+")
@0: Anne is green.[(triple1)] Dave is furry.[(triple2 OR ((triple4) -> rule6))] Dave is kind.[(triple3 OR ((((triple2 triple4) -> rule8)) -> rule7) OR ((((((triple4) -> rule6) triple4) -> rule8)) -> rule7))] Dave is rough.[(triple4)] Fiona is furry.[(triple5)] Fiona is green.[(triple6)] Fiona is smart.[(triple7)] Fiona is white.[(triple8)] Harry is rough.[(triple9)] Harry is white.[(triple10)] @1: Dave is blue.[(((triple3) -> rule4) OR ((triple2 triple4) -> rule8) OR ((((triple4) -> rule6) triple4) -> rule8))] Dave is smart.[(((triple4 triple2) -> rule1) OR ((triple4 ((triple4) -> rule6)) -> rule1))] Harry is furry.[(((triple9) -> rule6))] Harry is green.[(((triple10 triple9) -> rule3) OR ((((triple9 triple10) -> rule2) ((((triple9) -> rule6) triple9) -> rule8)) -> rule5) OR ((((triple9 ((triple9) -> rule6)) -> rule1) ((((triple9) -> rule6) triple9) -> rule8)) -> rule5))] Harry is smart.[(((triple9 triple10) -> rule2) OR ((triple9 ((triple9) -> rule6)) -> rule1))] @2: Dave is green.[(((((triple4 triple2) -> rule1) ((triple3) -> rule4)) -> rule5) OR ((((triple4 triple2) -> rule1) ((triple2 triple4) -> rule8)) -> rule5) OR ((((triple4 triple2) -> rule1) ((((triple4) -> rule6) triple4) -> rule8)) -> rule5) OR ((((triple4 ((triple4) -> rule6)) -> rule1) ((triple3) -> rule4)) -> rule5) OR ((((triple4 ((triple4) -> rule6)) -> rule1) ((triple2 triple4) -> rule8)) -> rule5) OR ((((triple4 ((triple4) -> rule6)) -> rule1) ((((triple4) -> rule6) triple4) -> rule8)) -> rule5))] Harry is blue.[(((((triple9) -> rule6) triple9) -> rule8))] @3: Harry is kind.[(((((((triple9) -> rule6) triple9) -> rule8)) -> rule7))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
((triple4) -> (rule6 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
triple3
((((triple2 triple4) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
((((((triple4) -> (rule6 % int3)) triple4) -> (rule8 % int2))) -> (rule7 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
Fiona is green.
("Fiona" "is" "green" "+")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Fiona is white.
("Fiona" "is" "white" "+")
triple8
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Harry is white.
("Harry" "is" "white" "+")
triple10
Dave is blue.
("Dave" "is" "blue" "+")
((triple3) -> (rule4 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((triple2 triple4) -> (rule8 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
((((triple4) -> (rule6 % int2)) triple4) -> (rule8 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
((triple4 triple2) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((triple4 ((triple4) -> (rule6 % int2))) -> (rule1 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
((triple9) -> (rule6 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple10 triple9) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((((triple9 triple10) -> (rule2 % int4)) ((((triple9) -> (rule6 % int3)) triple9) -> (rule8 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((triple9 ((triple9) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple9) -> (rule6 % int4)) triple9) -> (rule8 % int2))) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
((triple9 triple10) -> (rule2 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((triple9 ((triple9) -> (rule6 % int2))) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
((((triple4 triple2) -> (rule1 % int3)) ((triple3) -> (rule4 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((triple4 triple2) -> (rule1 % int3)) ((triple2 triple4) -> (rule8 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((((triple4 triple2) -> (rule1 % int4)) ((((triple4) -> (rule6 % int3)) triple4) -> (rule8 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((triple4 ((triple4) -> (rule6 % int4))) -> (rule1 % int3)) ((triple3) -> (rule4 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((triple4 ((triple4) -> (rule6 % int4))) -> (rule1 % int3)) ((triple2 triple4) -> (rule8 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
((((triple4 ((triple4) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple4) -> (rule6 % int4)) triple4) -> (rule8 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
((((triple9) -> (rule6 % int2)) triple9) -> (rule8 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
((((((triple9) -> (rule6 % int3)) triple9) -> (rule8 % int2))) -> (rule7 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3