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