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