Anne is big. Anne is kind. Anne is nice. Anne is rough. Anne is round. Anne is smart. Anne is white. Dave is kind. Dave is rough. Dave is round. Dave is smart. Dave is white. Fiona is big. Fiona is nice. Fiona is white. All big, kind things are round. Big, nice things are kind. All white, nice things are big.
Anne is big.
("Anne" "is" "big" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is white.
("Fiona" "is" "white" "+")
All big, kind things are round.
((("something" "is" "big" "+") ("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
Big, nice things are kind.
((("something" "is" "big" "+") ("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
All white, nice things are big.
((("something" "is" "white" "+") ("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
Anne is round.
True
1
proof
[(triple5 OR ((triple1 triple2) -> rule1) OR ((triple1 ((triple1 triple3) -> rule2)) -> rule1) OR ((((triple7 triple3) -> rule3) triple2) -> rule1) OR ((((triple7 triple3) -> rule3) ((triple1 triple3) -> rule2)) -> rule1) OR ((triple1 ((((triple7 triple3) -> rule3) triple3) -> rule2)) -> rule1) OR ((((triple7 triple3) -> rule3) ((((triple7 triple3) -> rule3) triple3) -> rule2)) -> rule1))]
("Anne" "is" "round" "+")
triple5
((triple1 triple2) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((triple1 ((triple1 triple3) -> (rule2 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((triple7 triple3) -> (rule3 % int2)) triple2) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((triple7 triple3) -> (rule3 % int3)) ((triple1 triple3) -> (rule2 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((triple1 ((((triple7 triple3) -> (rule3 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((triple7 triple3) -> (rule3 % int3)) ((((triple7 triple3) -> (rule3 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Dave is not smart.
False
1
inv-proof
[(triple11)]
("Dave" "is" "smart" "-")
triple11
Fiona is kind.
True
3
proof
[(((triple13 triple14) -> rule2) OR ((((triple15 triple14) -> rule3) triple14) -> rule2))]
("Fiona" "is" "kind" "+")
((triple13 triple14) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((((triple15 triple14) -> (rule3 % int2)) triple14) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is not kind.
False
3
inv-proof
[(((triple13 triple14) -> rule2) OR ((((triple15 triple14) -> rule3) triple14) -> rule2))]
("Fiona" "is" "kind" "-")
((triple13 triple14) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((((triple15 triple14) -> (rule3 % int2)) triple14) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is round.
True
5
proof
[(((triple13 ((triple13 triple14) -> rule2)) -> rule1) OR ((((triple15 triple14) -> rule3) ((triple13 triple14) -> rule2)) -> rule1) OR ((triple13 ((((triple15 triple14) -> rule3) triple14) -> rule2)) -> rule1) OR ((((triple15 triple14) -> rule3) ((((triple15 triple14) -> rule3) triple14) -> rule2)) -> rule1))]
("Fiona" "is" "round" "+")
((triple13 ((triple13 triple14) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((triple15 triple14) -> (rule3 % int3)) ((triple13 triple14) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((triple13 ((((triple15 triple14) -> (rule3 % int3)) triple14) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((triple15 triple14) -> (rule3 % int3)) ((((triple15 triple14) -> (rule3 % int3)) triple14) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is not round.
False
5
inv-proof
[(((triple13 ((triple13 triple14) -> rule2)) -> rule1) OR ((((triple15 triple14) -> rule3) ((triple13 triple14) -> rule2)) -> rule1) OR ((triple13 ((((triple15 triple14) -> rule3) triple14) -> rule2)) -> rule1) OR ((((triple15 triple14) -> rule3) ((((triple15 triple14) -> rule3) triple14) -> rule2)) -> rule1))]
("Fiona" "is" "round" "-")
((triple13 ((triple13 triple14) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((triple15 triple14) -> (rule3 % int3)) ((triple13 triple14) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((triple13 ((((triple15 triple14) -> (rule3 % int3)) triple14) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((triple15 triple14) -> (rule3 % int3)) ((((triple15 triple14) -> (rule3 % int3)) triple14) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Dave is not big.
Unknown
inv-rconc
[@1: Dave is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "big" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Anne is big.[(triple1 OR ((triple7 triple3) -> rule3))] Anne is kind.[(triple2 OR ((triple1 triple3) -> rule2) OR ((((triple7 triple3) -> rule3) triple3) -> rule2))] Anne is nice.[(triple3)] Anne is rough.[(triple4)] Anne is round.[(triple5 OR ((triple1 triple2) -> rule1) OR ((triple1 ((triple1 triple3) -> rule2)) -> rule1) OR ((((triple7 triple3) -> rule3) triple2) -> rule1) OR ((((triple7 triple3) -> rule3) ((triple1 triple3) -> rule2)) -> rule1) OR ((triple1 ((((triple7 triple3) -> rule3) triple3) -> rule2)) -> rule1) OR ((((triple7 triple3) -> rule3) ((((triple7 triple3) -> rule3) triple3) -> rule2)) -> rule1))] Anne is smart.[(triple6)] Anne is white.[(triple7)] Dave is kind.[(triple8)] Dave is rough.[(triple9)] Dave is round.[(triple10)] Dave is smart.[(triple11)] Dave is white.[(triple12)] Fiona is big.[(triple13 OR ((triple15 triple14) -> rule3))] Fiona is nice.[(triple14)] Fiona is white.[(triple15)] @1: Fiona is kind.[(((triple13 triple14) -> rule2) OR ((((triple15 triple14) -> rule3) triple14) -> rule2))] @2: Fiona is round.[(((triple13 ((triple13 triple14) -> rule2)) -> rule1) OR ((((triple15 triple14) -> rule3) ((triple13 triple14) -> rule2)) -> rule1) OR ((triple13 ((((triple15 triple14) -> rule3) triple14) -> rule2)) -> rule1) OR ((((triple15 triple14) -> rule3) ((((triple15 triple14) -> rule3) triple14) -> rule2)) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple7 triple3) -> (rule3 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
((triple1 triple3) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((((triple7 triple3) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Anne is round.
("Anne" "is" "round" "+")
triple5
((triple1 triple2) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((triple1 ((triple1 triple3) -> (rule2 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((triple7 triple3) -> (rule3 % int2)) triple2) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((triple7 triple3) -> (rule3 % int3)) ((triple1 triple3) -> (rule2 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((triple1 ((((triple7 triple3) -> (rule3 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((triple7 triple3) -> (rule3 % int3)) ((((triple7 triple3) -> (rule3 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
triple6
Anne is white.
("Anne" "is" "white" "+")
triple7
Dave is kind.
("Dave" "is" "kind" "+")
triple8
Dave is rough.
("Dave" "is" "rough" "+")
triple9
Dave is round.
("Dave" "is" "round" "+")
triple10
Dave is smart.
("Dave" "is" "smart" "+")
triple11
Dave is white.
("Dave" "is" "white" "+")
triple12
Fiona is big.
("Fiona" "is" "big" "+")
triple13
((triple15 triple14) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple14
Fiona is white.
("Fiona" "is" "white" "+")
triple15
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple13 triple14) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((((triple15 triple14) -> (rule3 % int2)) triple14) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
((triple13 ((triple13 triple14) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((triple15 triple14) -> (rule3 % int3)) ((triple13 triple14) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((triple13 ((((triple15 triple14) -> (rule3 % int3)) triple14) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((triple15 triple14) -> (rule3 % int3)) ((((triple15 triple14) -> (rule3 % int3)) triple14) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3