Anne is green. Bob is cold. Bob is nice. Charlie is cold. Charlie is kind. Gary is cold. Gary is young. All young people are nice. All big, cold people are kind. Cold, nice people are big. Nice, young people are cold. Kind people are green. If someone is big and not nice then they are not round. Cold, green people are round.
Anne is green.
("Anne" "is" "green" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is young.
("Gary" "is" "young" "+")
All young people are nice.
((("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
All big, cold people are kind.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Cold, nice people are big.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
Nice, young people are cold.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
Kind people are green.
((("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is big and not nice then they are not round.
((("someone" "is" "big" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "round" "-"))
Cold, green people are round.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Gary is cold.
True
1
proof
[(triple6 OR ((((triple7) -> rule1) triple7) -> rule4))]
("Gary" "is" "cold" "+")
triple6
((((triple7) -> (rule1 % int2)) triple7) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Anne is not green.
False
1
inv-proof
[(triple1)]
("Anne" "is" "green" "-")
triple1
Charlie is green.
True
2
proof
[(((triple5) -> rule5))]
("Charlie" "is" "green" "+")
((triple5) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is not green.
False
2
inv-proof
[(((triple5) -> rule5))]
("Charlie" "is" "green" "-")
((triple5) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Bob is kind.
True
5
proof
[(((((triple2 triple3) -> rule3) triple2) -> rule2))]
("Bob" "is" "kind" "+")
((((triple2 triple3) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is not kind.
False
5
inv-proof
[(((((triple2 triple3) -> rule3) triple2) -> rule2))]
("Bob" "is" "kind" "-")
((((triple2 triple3) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is green.
True
6
proof
[(((((((triple2 triple3) -> rule3) triple2) -> rule2)) -> rule5))]
("Bob" "is" "green" "+")
((((((triple2 triple3) -> (rule3 % int3)) triple2) -> (rule2 % int2))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is not green.
False
6
inv-proof
[(((((((triple2 triple3) -> rule3) triple2) -> rule2)) -> rule5))]
("Bob" "is" "green" "-")
((((((triple2 triple3) -> (rule3 % int3)) triple2) -> (rule2 % int2))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Gary is green.
True
7
proof
[(((((((triple6 ((triple7) -> rule1)) -> rule3) triple6) -> rule2)) -> rule5) OR ((((((triple6 ((triple7) -> rule1)) -> rule3) ((((triple7) -> rule1) triple7) -> rule4)) -> rule2)) -> rule5) OR ((((((((((triple7) -> rule1) triple7) -> rule4) ((triple7) -> rule1)) -> rule3) triple6) -> rule2)) -> rule5) OR ((((((((((triple7) -> rule1) triple7) -> rule4) ((triple7) -> rule1)) -> rule3) ((((triple7) -> rule1) triple7) -> rule4)) -> rule2)) -> rule5))]
("Gary" "is" "green" "+")
((((((triple6 ((triple7) -> (rule1 % int4))) -> (rule3 % int3)) triple6) -> (rule2 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((triple6 ((triple7) -> (rule1 % int5))) -> (rule3 % int4)) ((((triple7) -> (rule1 % int5)) triple7) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((((((triple7) -> (rule1 % int5)) triple7) -> (rule4 % int4)) ((triple7) -> (rule1 % int5))) -> (rule3 % int3)) triple6) -> (rule2 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((((((triple7) -> (rule1 % int5)) triple7) -> (rule4 % int4)) ((triple7) -> (rule1 % int5))) -> (rule3 % int3)) ((((triple7) -> (rule1 % int5)) triple7) -> (rule4 % int4))) -> (rule2 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
Gary is not green.
False
7
inv-proof
[(((((((triple6 ((triple7) -> rule1)) -> rule3) triple6) -> rule2)) -> rule5) OR ((((((triple6 ((triple7) -> rule1)) -> rule3) ((((triple7) -> rule1) triple7) -> rule4)) -> rule2)) -> rule5) OR ((((((((((triple7) -> rule1) triple7) -> rule4) ((triple7) -> rule1)) -> rule3) triple6) -> rule2)) -> rule5) OR ((((((((((triple7) -> rule1) triple7) -> rule4) ((triple7) -> rule1)) -> rule3) ((((triple7) -> rule1) triple7) -> rule4)) -> rule2)) -> rule5))]
("Gary" "is" "green" "-")
((((((triple6 ((triple7) -> (rule1 % int4))) -> (rule3 % int3)) triple6) -> (rule2 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((triple6 ((triple7) -> (rule1 % int5))) -> (rule3 % int4)) ((((triple7) -> (rule1 % int5)) triple7) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((((((triple7) -> (rule1 % int5)) triple7) -> (rule4 % int4)) ((triple7) -> (rule1 % int5))) -> (rule3 % int3)) triple6) -> (rule2 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((((((triple7) -> (rule1 % int5)) triple7) -> (rule4 % int4)) ((triple7) -> (rule1 % int5))) -> (rule3 % int3)) ((((triple7) -> (rule1 % int5)) triple7) -> (rule4 % int4))) -> (rule2 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
Gary is round.
True
9
proof
[(((triple6 ((((((triple6 ((triple7) -> rule1)) -> rule3) triple6) -> rule2)) -> rule5)) -> rule7) OR ((triple6 ((((((triple6 ((triple7) -> rule1)) -> rule3) ((((triple7) -> rule1) triple7) -> rule4)) -> rule2)) -> rule5)) -> rule7) OR ((((((triple7) -> rule1) triple7) -> rule4) ((((((triple6 ((triple7) -> rule1)) -> rule3) triple6) -> rule2)) -> rule5)) -> rule7) OR ((((((triple7) -> rule1) triple7) -> rule4) ((((((triple6 ((triple7) -> rule1)) -> rule3) ((((triple7) -> rule1) triple7) -> rule4)) -> rule2)) -> rule5)) -> rule7) OR ((triple6 ((((((((((triple7) -> rule1) triple7) -> rule4) ((triple7) -> rule1)) -> rule3) triple6) -> rule2)) -> rule5)) -> rule7) OR ((triple6 ((((((((((triple7) -> rule1) triple7) -> rule4) ((triple7) -> rule1)) -> rule3) ((((triple7) -> rule1) triple7) -> rule4)) -> rule2)) -> rule5)) -> rule7) OR ((((((triple7) -> rule1) triple7) -> rule4) ((((((((((triple7) -> rule1) triple7) -> rule4) ((triple7) -> rule1)) -> rule3) triple6) -> rule2)) -> rule5)) -> rule7) OR ((((((triple7) -> rule1) triple7) -> rule4) ((((((((((triple7) -> rule1) triple7) -> rule4) ((triple7) -> rule1)) -> rule3) ((((triple7) -> rule1) triple7) -> rule4)) -> rule2)) -> rule5)) -> rule7))]
("Gary" "is" "round" "+")
((triple6 ((((((triple6 ((triple7) -> (rule1 % int5))) -> (rule3 % int4)) triple6) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((triple6 ((((((triple6 ((triple7) -> (rule1 % int6))) -> (rule3 % int5)) ((((triple7) -> (rule1 % int6)) triple7) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((((((triple7) -> (rule1 % int6)) triple7) -> (rule4 % int5)) ((((((triple6 ((triple7) -> (rule1 % int6))) -> (rule3 % int4)) triple6) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((((((triple7) -> (rule1 % int6)) triple7) -> (rule4 % int5)) ((((((triple6 ((triple7) -> (rule1 % int6))) -> (rule3 % int4)) ((((triple7) -> (rule1 % int6)) triple7) -> (rule4 % int5))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((triple6 ((((((((((triple7) -> (rule1 % int6)) triple7) -> (rule4 % int5)) ((triple7) -> (rule1 % int6))) -> (rule3 % int4)) triple6) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((triple6 ((((((((((triple7) -> (rule1 % int6)) triple7) -> (rule4 % int5)) ((triple7) -> (rule1 % int6))) -> (rule3 % int4)) ((((triple7) -> (rule1 % int6)) triple7) -> (rule4 % int5))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((((((triple7) -> (rule1 % int6)) triple7) -> (rule4 % int5)) ((((((((((triple7) -> (rule1 % int6)) triple7) -> (rule4 % int5)) ((triple7) -> (rule1 % int6))) -> (rule3 % int4)) triple6) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((((((triple7) -> (rule1 % int6)) triple7) -> (rule4 % int5)) ((((((((((triple7) -> (rule1 % int6)) triple7) -> (rule4 % int5)) ((triple7) -> (rule1 % int6))) -> (rule3 % int4)) ((((triple7) -> (rule1 % int6)) triple7) -> (rule4 % int5))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
Gary is not round.
False
9
inv-proof
[(((triple6 ((((((triple6 ((triple7) -> rule1)) -> rule3) triple6) -> rule2)) -> rule5)) -> rule7) OR ((triple6 ((((((triple6 ((triple7) -> rule1)) -> rule3) ((((triple7) -> rule1) triple7) -> rule4)) -> rule2)) -> rule5)) -> rule7) OR ((((((triple7) -> rule1) triple7) -> rule4) ((((((triple6 ((triple7) -> rule1)) -> rule3) triple6) -> rule2)) -> rule5)) -> rule7) OR ((((((triple7) -> rule1) triple7) -> rule4) ((((((triple6 ((triple7) -> rule1)) -> rule3) ((((triple7) -> rule1) triple7) -> rule4)) -> rule2)) -> rule5)) -> rule7) OR ((triple6 ((((((((((triple7) -> rule1) triple7) -> rule4) ((triple7) -> rule1)) -> rule3) triple6) -> rule2)) -> rule5)) -> rule7) OR ((triple6 ((((((((((triple7) -> rule1) triple7) -> rule4) ((triple7) -> rule1)) -> rule3) ((((triple7) -> rule1) triple7) -> rule4)) -> rule2)) -> rule5)) -> rule7) OR ((((((triple7) -> rule1) triple7) -> rule4) ((((((((((triple7) -> rule1) triple7) -> rule4) ((triple7) -> rule1)) -> rule3) triple6) -> rule2)) -> rule5)) -> rule7) OR ((((((triple7) -> rule1) triple7) -> rule4) ((((((((((triple7) -> rule1) triple7) -> rule4) ((triple7) -> rule1)) -> rule3) ((((triple7) -> rule1) triple7) -> rule4)) -> rule2)) -> rule5)) -> rule7))]
("Gary" "is" "round" "-")
((triple6 ((((((triple6 ((triple7) -> (rule1 % int5))) -> (rule3 % int4)) triple6) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((triple6 ((((((triple6 ((triple7) -> (rule1 % int6))) -> (rule3 % int5)) ((((triple7) -> (rule1 % int6)) triple7) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((((((triple7) -> (rule1 % int6)) triple7) -> (rule4 % int5)) ((((((triple6 ((triple7) -> (rule1 % int6))) -> (rule3 % int4)) triple6) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((((((triple7) -> (rule1 % int6)) triple7) -> (rule4 % int5)) ((((((triple6 ((triple7) -> (rule1 % int6))) -> (rule3 % int4)) ((((triple7) -> (rule1 % int6)) triple7) -> (rule4 % int5))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((triple6 ((((((((((triple7) -> (rule1 % int6)) triple7) -> (rule4 % int5)) ((triple7) -> (rule1 % int6))) -> (rule3 % int4)) triple6) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((triple6 ((((((((((triple7) -> (rule1 % int6)) triple7) -> (rule4 % int5)) ((triple7) -> (rule1 % int6))) -> (rule3 % int4)) ((((triple7) -> (rule1 % int6)) triple7) -> (rule4 % int5))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((((((triple7) -> (rule1 % int6)) triple7) -> (rule4 % int5)) ((((((((((triple7) -> (rule1 % int6)) triple7) -> (rule4 % int5)) ((triple7) -> (rule1 % int6))) -> (rule3 % int4)) triple6) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((((((triple7) -> (rule1 % int6)) triple7) -> (rule4 % int5)) ((((((((((triple7) -> (rule1 % int6)) triple7) -> (rule4 % int5)) ((triple7) -> (rule1 % int6))) -> (rule3 % int4)) ((((triple7) -> (rule1 % int6)) triple7) -> (rule4 % int5))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
Anne is not cold.
Unknown
inv-rconc
[@1: Anne is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Anne" "is" "cold" "-")
Anne is big.
Unknown
rconc
[@2: Anne is big.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Anne" "is" "big" "+")
Anne is not kind.
Unknown
inv-rconc
[@2: Anne is kind.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Anne" "is" "kind" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "nice" "+")
Anne is not round.
Unknown
inv-rconc
[@2: Anne is round.[CWA. Example of deepest failure = (rule7 <- rule4 <- FAIL)]]
("Anne" "is" "round" "-")
Charlie is big.
Unknown
rconc
[@2: Charlie is big.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Charlie" "is" "big" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
@0: Anne is green.[(triple1)] Bob is cold.[(triple2)] Bob is nice.[(triple3)] Charlie is cold.[(triple4)] Charlie is kind.[(triple5)] Gary is cold.[(triple6 OR ((((triple7) -> rule1) triple7) -> rule4))] Gary is young.[(triple7)] @1: Bob is big.[(((triple2 triple3) -> rule3))] Charlie is green.[(((triple5) -> rule5))] Gary is nice.[(((triple7) -> rule1))] @2: Bob is kind.[(((((triple2 triple3) -> rule3) triple2) -> rule2))] Charlie is round.[(((triple4 ((triple5) -> rule5)) -> rule7))] Gary is big.[(((triple6 ((triple7) -> rule1)) -> rule3) OR ((((((triple7) -> rule1) triple7) -> rule4) ((triple7) -> rule1)) -> rule3))] @3: Bob is green.[(((((((triple2 triple3) -> rule3) triple2) -> rule2)) -> rule5))] Gary is kind.[(((((triple6 ((triple7) -> rule1)) -> rule3) triple6) -> rule2) OR ((((triple6 ((triple7) -> rule1)) -> rule3) ((((triple7) -> rule1) triple7) -> rule4)) -> rule2) OR ((((((((triple7) -> rule1) triple7) -> rule4) ((triple7) -> rule1)) -> rule3) triple6) -> rule2) OR ((((((((triple7) -> rule1) triple7) -> rule4) ((triple7) -> rule1)) -> rule3) ((((triple7) -> rule1) triple7) -> rule4)) -> rule2))] @4: Bob is round.[(((triple2 ((((((triple2 triple3) -> rule3) triple2) -> rule2)) -> rule5)) -> rule7))] Gary is green.[(((((((triple6 ((triple7) -> rule1)) -> rule3) triple6) -> rule2)) -> rule5) OR ((((((triple6 ((triple7) -> rule1)) -> rule3) ((((triple7) -> rule1) triple7) -> rule4)) -> rule2)) -> rule5) OR ((((((((((triple7) -> rule1) triple7) -> rule4) ((triple7) -> rule1)) -> rule3) triple6) -> rule2)) -> rule5) OR ((((((((((triple7) -> rule1) triple7) -> rule4) ((triple7) -> rule1)) -> rule3) ((((triple7) -> rule1) triple7) -> rule4)) -> rule2)) -> rule5))] @5: Gary is round.[(((triple6 ((((((triple6 ((triple7) -> rule1)) -> rule3) triple6) -> rule2)) -> rule5)) -> rule7) OR ((triple6 ((((((triple6 ((triple7) -> rule1)) -> rule3) ((((triple7) -> rule1) triple7) -> rule4)) -> rule2)) -> rule5)) -> rule7) OR ((((((triple7) -> rule1) triple7) -> rule4) ((((((triple6 ((triple7) -> rule1)) -> rule3) triple6) -> rule2)) -> rule5)) -> rule7) OR ((((((triple7) -> rule1) triple7) -> rule4) ((((((triple6 ((triple7) -> rule1)) -> rule3) ((((triple7) -> rule1) triple7) -> rule4)) -> rule2)) -> rule5)) -> rule7) OR ((triple6 ((((((((((triple7) -> rule1) triple7) -> rule4) ((triple7) -> rule1)) -> rule3) triple6) -> rule2)) -> rule5)) -> rule7) OR ((triple6 ((((((((((triple7) -> rule1) triple7) -> rule4) ((triple7) -> rule1)) -> rule3) ((((triple7) -> rule1) triple7) -> rule4)) -> rule2)) -> rule5)) -> rule7) OR ((((((triple7) -> rule1) triple7) -> rule4) ((((((((((triple7) -> rule1) triple7) -> rule4) ((triple7) -> rule1)) -> rule3) triple6) -> rule2)) -> rule5)) -> rule7) OR ((((((triple7) -> rule1) triple7) -> rule4) ((((((((((triple7) -> rule1) triple7) -> rule4) ((triple7) -> rule1)) -> rule3) ((((triple7) -> rule1) triple7) -> rule4)) -> rule2)) -> rule5)) -> rule7))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Gary is cold.
("Gary" "is" "cold" "+")
triple6
((((triple7) -> (rule1 % int2)) triple7) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
triple7
Bob is big.
("Bob" "is" "big" "+")
((triple2 triple3) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((triple5) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple7) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((((triple2 triple3) -> (rule3 % int2)) triple2) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
((triple4 ((triple5) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((triple6 ((triple7) -> (rule1 % int2))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((((triple7) -> (rule1 % int3)) triple7) -> (rule4 % int2)) ((triple7) -> (rule1 % int3))) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
((((((triple2 triple3) -> (rule3 % int3)) triple2) -> (rule2 % int2))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
((((triple6 ((triple7) -> (rule1 % int3))) -> (rule3 % int2)) triple6) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((triple6 ((triple7) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple7) -> (rule1 % int4)) triple7) -> (rule4 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((((triple7) -> (rule1 % int4)) triple7) -> (rule4 % int3)) ((triple7) -> (rule1 % int4))) -> (rule3 % int2)) triple6) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((((triple7) -> (rule1 % int4)) triple7) -> (rule4 % int3)) ((triple7) -> (rule1 % int4))) -> (rule3 % int2)) ((((triple7) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
((triple2 ((((((triple2 triple3) -> (rule3 % int4)) triple2) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
((((((triple6 ((triple7) -> (rule1 % int4))) -> (rule3 % int3)) triple6) -> (rule2 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((triple6 ((triple7) -> (rule1 % int5))) -> (rule3 % int4)) ((((triple7) -> (rule1 % int5)) triple7) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((((((triple7) -> (rule1 % int5)) triple7) -> (rule4 % int4)) ((triple7) -> (rule1 % int5))) -> (rule3 % int3)) triple6) -> (rule2 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((((((triple7) -> (rule1 % int5)) triple7) -> (rule4 % int4)) ((triple7) -> (rule1 % int5))) -> (rule3 % int3)) ((((triple7) -> (rule1 % int5)) triple7) -> (rule4 % int4))) -> (rule2 % int2))) -> (rule5 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
Gary is round.
("Gary" "is" "round" "+")
((triple6 ((((((triple6 ((triple7) -> (rule1 % int5))) -> (rule3 % int4)) triple6) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((triple6 ((((((triple6 ((triple7) -> (rule1 % int6))) -> (rule3 % int5)) ((((triple7) -> (rule1 % int6)) triple7) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((((((triple7) -> (rule1 % int6)) triple7) -> (rule4 % int5)) ((((((triple6 ((triple7) -> (rule1 % int6))) -> (rule3 % int4)) triple6) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((((((triple7) -> (rule1 % int6)) triple7) -> (rule4 % int5)) ((((((triple6 ((triple7) -> (rule1 % int6))) -> (rule3 % int4)) ((((triple7) -> (rule1 % int6)) triple7) -> (rule4 % int5))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((triple6 ((((((((((triple7) -> (rule1 % int6)) triple7) -> (rule4 % int5)) ((triple7) -> (rule1 % int6))) -> (rule3 % int4)) triple6) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((triple6 ((((((((((triple7) -> (rule1 % int6)) triple7) -> (rule4 % int5)) ((triple7) -> (rule1 % int6))) -> (rule3 % int4)) ((((triple7) -> (rule1 % int6)) triple7) -> (rule4 % int5))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((((((triple7) -> (rule1 % int6)) triple7) -> (rule4 % int5)) ((((((((((triple7) -> (rule1 % int6)) triple7) -> (rule4 % int5)) ((triple7) -> (rule1 % int6))) -> (rule3 % int4)) triple6) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((((((triple7) -> (rule1 % int6)) triple7) -> (rule4 % int5)) ((((((((((triple7) -> (rule1 % int6)) triple7) -> (rule4 % int5)) ((triple7) -> (rule1 % int6))) -> (rule3 % int4)) ((((triple7) -> (rule1 % int6)) triple7) -> (rule4 % int5))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6