Bob is blue. Bob is green. Bob is nice. Bob is red. Charlie is green. Erin is kind. Harry is red. Kind, white things are young. All kind, white things are nice. Red, blue things are green. All green things are kind. If something is kind and red then it is white. Green things are kind.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Harry is red.
("Harry" "is" "red" "+")
Kind, white things are young.
((("something" "is" "kind" "+") ("something" "is" "white" "+")) -> ("something" "is" "young" "+"))
All kind, white things are nice.
((("something" "is" "kind" "+") ("something" "is" "white" "+")) -> ("something" "is" "nice" "+"))
Red, blue things are green.
((("something" "is" "red" "+") ("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
All green things are kind.
((("something" "is" "green" "+")) -> ("something" "is" "kind" "+"))
If something is kind and red then it is white.
((("something" "is" "kind" "+") ("something" "is" "red" "+")) -> ("something" "is" "white" "+"))
Green things are kind.
((("something" "is" "green" "+")) -> ("something" "is" "kind" "+"))
Bob is red.
True
1
proof
[(triple4)]
("Bob" "is" "red" "+")
triple4
Erin is not kind.
False
1
inv-proof
[(triple6)]
("Erin" "is" "kind" "-")
triple6
Charlie is kind.
True
2
proof
[(((triple5) -> rule4) OR ((triple5) -> rule6))]
("Charlie" "is" "kind" "+")
((triple5) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((triple5) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is not kind.
False
2
inv-proof
[(((triple5) -> rule4) OR ((triple5) -> rule6))]
("Charlie" "is" "kind" "-")
((triple5) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((triple5) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Bob is white.
True
4
proof
[(((((triple2) -> rule4) triple4) -> rule5) OR ((((triple2) -> rule6) triple4) -> rule5) OR ((((((triple4 triple1) -> rule3)) -> rule4) triple4) -> rule5) OR ((((((triple4 triple1) -> rule3)) -> rule6) triple4) -> rule5))]
("Bob" "is" "white" "+")
((((triple2) -> (rule4 % int2)) triple4) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple2) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((((triple4 triple1) -> (rule3 % int3))) -> (rule4 % int2)) triple4) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((triple4 triple1) -> (rule3 % int3))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is not white.
False
4
inv-proof
[(((((triple2) -> rule4) triple4) -> rule5) OR ((((triple2) -> rule6) triple4) -> rule5) OR ((((((triple4 triple1) -> rule3)) -> rule4) triple4) -> rule5) OR ((((((triple4 triple1) -> rule3)) -> rule6) triple4) -> rule5))]
("Bob" "is" "white" "-")
((((triple2) -> (rule4 % int2)) triple4) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple2) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((((triple4 triple1) -> (rule3 % int3))) -> (rule4 % int2)) triple4) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((triple4 triple1) -> (rule3 % int3))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Harry is not kind.
Unknown
inv-rconc
[@2: Harry is kind.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Harry" "is" "kind" "-")
Harry is green.
Unknown
rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "green" "+")
Charlie is not nice.
Unknown
inv-rconc
[@2: Charlie is nice.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Charlie" "is" "nice" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
Erin is not blue.
Unknown
inv-random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "-")
Charlie is red.
Unknown
random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "+")
@0: Bob is blue.[(triple1)] Bob is green.[(triple2 OR ((triple4 triple1) -> rule3))] Bob is nice.[(triple3 OR ((((triple2) -> rule4) ((((triple2) -> rule4) triple4) -> rule5)) -> rule2) OR ((((triple2) -> rule4) ((((triple2) -> rule6) triple4) -> rule5)) -> rule2) OR ((((triple2) -> rule6) ((((triple2) -> rule4) triple4) -> rule5)) -> rule2) OR ((((triple2) -> rule6) ((((triple2) -> rule6) triple4) -> rule5)) -> rule2) OR ((((((triple4 triple1) -> rule3)) -> rule4) ((((triple2) -> rule4) triple4) -> rule5)) -> rule2) OR ((((((triple4 triple1) -> rule3)) -> rule4) ((((triple2) -> rule6) triple4) -> rule5)) -> rule2) OR ((((((triple4 triple1) -> rule3)) -> rule6) ((((triple2) -> rule4) triple4) -> rule5)) -> rule2) OR ((((((triple4 triple1) -> rule3)) -> rule6) ((((triple2) -> rule6) triple4) -> rule5)) -> rule2) OR ((((triple2) -> rule4) ((((((triple4 triple1) -> rule3)) -> rule4) triple4) -> rule5)) -> rule2) OR ((((triple2) -> rule4) ((((((triple4 triple1) -> rule3)) -> rule6) triple4) -> rule5)) -> rule2) OR ((((triple2) -> rule6) ((((((triple4 triple1) -> rule3)) -> rule4) triple4) -> rule5)) -> rule2) OR ((((triple2) -> rule6) ((((((triple4 triple1) -> rule3)) -> rule6) triple4) -> rule5)) -> rule2) OR ((((((triple4 triple1) -> rule3)) -> rule4) ((((((triple4 triple1) -> rule3)) -> rule4) triple4) -> rule5)) -> rule2) OR ((((((triple4 triple1) -> rule3)) -> rule4) ((((((triple4 triple1) -> rule3)) -> rule6) triple4) -> rule5)) -> rule2) OR ((((((triple4 triple1) -> rule3)) -> rule6) ((((((triple4 triple1) -> rule3)) -> rule4) triple4) -> rule5)) -> rule2) OR ((((((triple4 triple1) -> rule3)) -> rule6) ((((((triple4 triple1) -> rule3)) -> rule6) triple4) -> rule5)) -> rule2))] Bob is red.[(triple4)] Charlie is green.[(triple5)] Erin is kind.[(triple6)] Harry is red.[(triple7)] @1: Bob is kind.[(((triple2) -> rule4) OR ((triple2) -> rule6) OR ((((triple4 triple1) -> rule3)) -> rule4) OR ((((triple4 triple1) -> rule3)) -> rule6))] Charlie is kind.[(((triple5) -> rule4) OR ((triple5) -> rule6))] @2: Bob is white.[(((((triple2) -> rule4) triple4) -> rule5) OR ((((triple2) -> rule6) triple4) -> rule5) OR ((((((triple4 triple1) -> rule3)) -> rule4) triple4) -> rule5) OR ((((((triple4 triple1) -> rule3)) -> rule6) triple4) -> rule5))] @3: Bob is young.[(((((triple2) -> rule4) ((((triple2) -> rule4) triple4) -> rule5)) -> rule1) OR ((((triple2) -> rule4) ((((triple2) -> rule6) triple4) -> rule5)) -> rule1) OR ((((triple2) -> rule6) ((((triple2) -> rule4) triple4) -> rule5)) -> rule1) OR ((((triple2) -> rule6) ((((triple2) -> rule6) triple4) -> rule5)) -> rule1) OR ((((((triple4 triple1) -> rule3)) -> rule4) ((((triple2) -> rule4) triple4) -> rule5)) -> rule1) OR ((((((triple4 triple1) -> rule3)) -> rule4) ((((triple2) -> rule6) triple4) -> rule5)) -> rule1) OR ((((((triple4 triple1) -> rule3)) -> rule6) ((((triple2) -> rule4) triple4) -> rule5)) -> rule1) OR ((((((triple4 triple1) -> rule3)) -> rule6) ((((triple2) -> rule6) triple4) -> rule5)) -> rule1) OR ((((triple2) -> rule4) ((((((triple4 triple1) -> rule3)) -> rule4) triple4) -> rule5)) -> rule1) OR ((((triple2) -> rule4) ((((((triple4 triple1) -> rule3)) -> rule6) triple4) -> rule5)) -> rule1) OR ((((triple2) -> rule6) ((((((triple4 triple1) -> rule3)) -> rule4) triple4) -> rule5)) -> rule1) OR ((((triple2) -> rule6) ((((((triple4 triple1) -> rule3)) -> rule6) triple4) -> rule5)) -> rule1) OR ((((((triple4 triple1) -> rule3)) -> rule4) ((((((triple4 triple1) -> rule3)) -> rule4) triple4) -> rule5)) -> rule1) OR ((((((triple4 triple1) -> rule3)) -> rule4) ((((((triple4 triple1) -> rule3)) -> rule6) triple4) -> rule5)) -> rule1) OR ((((((triple4 triple1) -> rule3)) -> rule6) ((((((triple4 triple1) -> rule3)) -> rule4) triple4) -> rule5)) -> rule1) OR ((((((triple4 triple1) -> rule3)) -> rule6) ((((((triple4 triple1) -> rule3)) -> rule6) triple4) -> rule5)) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple2
((triple4 triple1) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
triple3
((((triple2) -> (rule4 % int3)) ((((triple2) -> (rule4 % int3)) triple4) -> (rule5 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((triple2) -> (rule4 % int3)) ((((triple2) -> (rule6 % int3)) triple4) -> (rule5 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((triple2) -> (rule6 % int3)) ((((triple2) -> (rule4 % int3)) triple4) -> (rule5 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((triple2) -> (rule6 % int3)) ((((triple2) -> (rule6 % int3)) triple4) -> (rule5 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple4 triple1) -> (rule3 % int4))) -> (rule4 % int3)) ((((triple2) -> (rule4 % int3)) triple4) -> (rule5 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((triple4 triple1) -> (rule3 % int4))) -> (rule4 % int3)) ((((triple2) -> (rule6 % int3)) triple4) -> (rule5 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((triple4 triple1) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule4 % int3)) triple4) -> (rule5 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((triple4 triple1) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule6 % int3)) triple4) -> (rule5 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((triple2) -> (rule4 % int4)) ((((((triple4 triple1) -> (rule3 % int3))) -> (rule4 % int4)) triple4) -> (rule5 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple2) -> (rule4 % int4)) ((((((triple4 triple1) -> (rule3 % int3))) -> (rule6 % int4)) triple4) -> (rule5 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple2) -> (rule6 % int4)) ((((((triple4 triple1) -> (rule3 % int3))) -> (rule4 % int4)) triple4) -> (rule5 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple2) -> (rule6 % int4)) ((((((triple4 triple1) -> (rule3 % int3))) -> (rule6 % int4)) triple4) -> (rule5 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple4 triple1) -> (rule3 % int4))) -> (rule4 % int3)) ((((((triple4 triple1) -> (rule3 % int4))) -> (rule4 % int3)) triple4) -> (rule5 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((triple4 triple1) -> (rule3 % int4))) -> (rule4 % int3)) ((((((triple4 triple1) -> (rule3 % int4))) -> (rule6 % int3)) triple4) -> (rule5 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((triple4 triple1) -> (rule3 % int4))) -> (rule6 % int3)) ((((((triple4 triple1) -> (rule3 % int4))) -> (rule4 % int3)) triple4) -> (rule5 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((triple4 triple1) -> (rule3 % int4))) -> (rule6 % int3)) ((((((triple4 triple1) -> (rule3 % int4))) -> (rule6 % int3)) triple4) -> (rule5 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
triple4
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Erin is kind.
("Erin" "is" "kind" "+")
triple6
Harry is red.
("Harry" "is" "red" "+")
triple7
Bob is kind.
("Bob" "is" "kind" "+")
((triple2) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((triple2) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((((triple4 triple1) -> (rule3 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((triple4 triple1) -> (rule3 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple5) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((triple5) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
((((triple2) -> (rule4 % int2)) triple4) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple2) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((((triple4 triple1) -> (rule3 % int3))) -> (rule4 % int2)) triple4) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((triple4 triple1) -> (rule3 % int3))) -> (rule6 % int2)) triple4) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
((((triple2) -> (rule4 % int3)) ((((triple2) -> (rule4 % int3)) triple4) -> (rule5 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((triple2) -> (rule4 % int3)) ((((triple2) -> (rule6 % int3)) triple4) -> (rule5 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((triple2) -> (rule6 % int3)) ((((triple2) -> (rule4 % int3)) triple4) -> (rule5 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((triple2) -> (rule6 % int3)) ((((triple2) -> (rule6 % int3)) triple4) -> (rule5 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple4 triple1) -> (rule3 % int4))) -> (rule4 % int3)) ((((triple2) -> (rule4 % int3)) triple4) -> (rule5 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((triple4 triple1) -> (rule3 % int4))) -> (rule4 % int3)) ((((triple2) -> (rule6 % int3)) triple4) -> (rule5 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((triple4 triple1) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule4 % int3)) triple4) -> (rule5 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((triple4 triple1) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple2) -> (rule6 % int3)) triple4) -> (rule5 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((triple2) -> (rule4 % int4)) ((((((triple4 triple1) -> (rule3 % int3))) -> (rule4 % int4)) triple4) -> (rule5 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple2) -> (rule4 % int4)) ((((((triple4 triple1) -> (rule3 % int3))) -> (rule6 % int4)) triple4) -> (rule5 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple2) -> (rule6 % int4)) ((((((triple4 triple1) -> (rule3 % int3))) -> (rule4 % int4)) triple4) -> (rule5 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple2) -> (rule6 % int4)) ((((((triple4 triple1) -> (rule3 % int3))) -> (rule6 % int4)) triple4) -> (rule5 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple4 triple1) -> (rule3 % int4))) -> (rule4 % int3)) ((((((triple4 triple1) -> (rule3 % int4))) -> (rule4 % int3)) triple4) -> (rule5 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((triple4 triple1) -> (rule3 % int4))) -> (rule4 % int3)) ((((((triple4 triple1) -> (rule3 % int4))) -> (rule6 % int3)) triple4) -> (rule5 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((triple4 triple1) -> (rule3 % int4))) -> (rule6 % int3)) ((((((triple4 triple1) -> (rule3 % int4))) -> (rule4 % int3)) triple4) -> (rule5 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((triple4 triple1) -> (rule3 % int4))) -> (rule6 % int3)) ((((((triple4 triple1) -> (rule3 % int4))) -> (rule6 % int3)) triple4) -> (rule5 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4