Anne is cold. Anne is kind. Anne is rough. Charlie is cold. Charlie is nice. Fiona is big. Fiona is cold. Fiona is kind. Fiona is nice. Fiona is rough. Fiona is white. Fiona is young. All rough things are white. Rough, white things are big. Cold, young things are rough. If Anne is big and Anne is nice then Anne is white. If something is kind and nice then it is big. All nice things are young.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All rough things are white.
((("something" "is" "rough" "+")) -> ("something" "is" "white" "+"))
Rough, white things are big.
((("something" "is" "rough" "+") ("something" "is" "white" "+")) -> ("something" "is" "big" "+"))
Cold, young things are rough.
((("something" "is" "cold" "+") ("something" "is" "young" "+")) -> ("something" "is" "rough" "+"))
If Anne is big and Anne is nice then Anne is white.
((("Anne" "is" "big" "+") ("Anne" "is" "nice" "+")) -> ("Anne" "is" "white" "+"))
If something is kind and nice then it is big.
((("something" "is" "kind" "+") ("something" "is" "nice" "+")) -> ("something" "is" "big" "+"))
All nice things are young.
((("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
Fiona is nice.
True
1
proof
[(triple9)]
("Fiona" "is" "nice" "+")
triple9
Anne is not kind.
False
1
inv-proof
[(triple2)]
("Anne" "is" "kind" "-")
triple2
Anne is white.
True
2
proof
[(((triple3) -> rule1))]
("Anne" "is" "white" "+")
((triple3) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is not white.
False
2
inv-proof
[(((triple3) -> rule1))]
("Anne" "is" "white" "-")
((triple3) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Charlie is rough.
True
4
proof
[(((triple4 ((triple5) -> rule6)) -> rule3))]
("Charlie" "is" "rough" "+")
((triple4 ((triple5) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is not rough.
False
4
inv-proof
[(((triple4 ((triple5) -> rule6)) -> rule3))]
("Charlie" "is" "rough" "-")
((triple4 ((triple5) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is white.
True
5
proof
[(((((triple4 ((triple5) -> rule6)) -> rule3)) -> rule1))]
("Charlie" "is" "white" "+")
((((triple4 ((triple5) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is not white.
False
5
inv-proof
[(((((triple4 ((triple5) -> rule6)) -> rule3)) -> rule1))]
("Charlie" "is" "white" "-")
((((triple4 ((triple5) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Anne is not young.
Unknown
inv-rconc
[@1: Anne is young.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Anne" "is" "young" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is rough.[(triple3)] Charlie is cold.[(triple4)] Charlie is nice.[(triple5)] Fiona is big.[(triple6 OR ((triple10 triple11) -> rule2) OR ((triple8 triple9) -> rule5) OR ((triple10 ((triple10) -> rule1)) -> rule2) OR ((((triple7 triple12) -> rule3) triple11) -> rule2) OR ((((triple7 triple12) -> rule3) ((triple10) -> rule1)) -> rule2) OR ((triple10 ((((triple7 triple12) -> rule3)) -> rule1)) -> rule2) OR ((((triple7 ((triple9) -> rule6)) -> rule3) triple11) -> rule2) OR ((((triple7 triple12) -> rule3) ((((triple7 triple12) -> rule3)) -> rule1)) -> rule2) OR ((((triple7 ((triple9) -> rule6)) -> rule3) ((triple10) -> rule1)) -> rule2) OR ((((triple7 ((triple9) -> rule6)) -> rule3) ((((triple7 triple12) -> rule3)) -> rule1)) -> rule2) OR ((triple10 ((((triple7 ((triple9) -> rule6)) -> rule3)) -> rule1)) -> rule2) OR ((((triple7 triple12) -> rule3) ((((triple7 ((triple9) -> rule6)) -> rule3)) -> rule1)) -> rule2) OR ((((triple7 ((triple9) -> rule6)) -> rule3) ((((triple7 ((triple9) -> rule6)) -> rule3)) -> rule1)) -> rule2))] Fiona is cold.[(triple7)] Fiona is kind.[(triple8)] Fiona is nice.[(triple9)] Fiona is rough.[(triple10 OR ((triple7 triple12) -> rule3) OR ((triple7 ((triple9) -> rule6)) -> rule3))] Fiona is white.[(triple11 OR ((triple10) -> rule1) OR ((((triple7 triple12) -> rule3)) -> rule1) OR ((((triple7 ((triple9) -> rule6)) -> rule3)) -> rule1))] Fiona is young.[(triple12 OR ((triple9) -> rule6))] @1: Anne is white.[(((triple3) -> rule1))] Charlie is young.[(((triple5) -> rule6))] @2: Anne is big.[(((triple3 ((triple3) -> rule1)) -> rule2))] Charlie is rough.[(((triple4 ((triple5) -> rule6)) -> rule3))] @3: Charlie is white.[(((((triple4 ((triple5) -> rule6)) -> rule3)) -> rule1))] @4: Charlie is big.[(((((triple4 ((triple5) -> rule6)) -> rule3) ((((triple4 ((triple5) -> rule6)) -> rule3)) -> rule1)) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is rough.
("Anne" "is" "rough" "+")
triple3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple6
((triple10 triple11) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple8 triple9) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple10 ((triple10) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((((triple7 triple12) -> (rule3 % int2)) triple11) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((triple7 triple12) -> (rule3 % int3)) ((triple10) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((triple10 ((((triple7 triple12) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((triple7 ((triple9) -> (rule6 % int3))) -> (rule3 % int2)) triple11) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((((triple7 triple12) -> (rule3 % int3)) ((((triple7 triple12) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((triple7 ((triple9) -> (rule6 % int4))) -> (rule3 % int3)) ((triple10) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((triple7 ((triple9) -> (rule6 % int4))) -> (rule3 % int3)) ((((triple7 triple12) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((triple10 ((((triple7 ((triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((triple7 triple12) -> (rule3 % int4)) ((((triple7 ((triple9) -> (rule6 % int3))) -> (rule3 % int4))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((triple7 ((triple9) -> (rule6 % int4))) -> (rule3 % int3)) ((((triple7 ((triple9) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is nice.
("Fiona" "is" "nice" "+")
triple9
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10
((triple7 triple12) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((triple7 ((triple9) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
triple11
((triple10) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((((triple7 triple12) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((triple7 ((triple9) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
triple12
((triple9) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
((triple3) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple5) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
((triple3 ((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple4 ((triple5) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
((((triple4 ((triple5) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
((((triple4 ((triple5) -> (rule6 % int4))) -> (rule3 % int3)) ((((triple4 ((triple5) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4