Bob is big. Bob is cold. Bob is red. Dave is big. Dave is cold. Dave is white. Fiona is big. Fiona is nice. Gary is red. Gary is young. If Bob is nice then Bob is young. All nice, big people are young. If someone is green then they are big. Big, green people are nice. If someone is green then they are big. If someone is white and young then they are red. Cold, red people are green. All cold people are white. If someone is young and nice then they are cold.
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is red.
("Bob" "is" "red" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is young.
("Gary" "is" "young" "+")
If Bob is nice then Bob is young.
((("Bob" "is" "nice" "+")) -> ("Bob" "is" "young" "+"))
All nice, big people are young.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is green then they are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Big, green people are nice.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is green then they are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is white and young then they are red.
((("someone" "is" "white" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
Cold, red people are green.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
All cold people are white.
((("someone" "is" "cold" "+")) -> ("someone" "is" "white" "+"))
If someone is young and nice then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Gary is red.
True
1
proof
[(triple9)]
("Gary" "is" "red" "+")
triple9
Fiona is not nice.
False
1
inv-proof
[(triple8)]
("Fiona" "is" "nice" "-")
triple8
Bob is white.
True
2
proof
[(((triple2) -> rule8))]
("Bob" "is" "white" "+")
((triple2) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Fiona is not young.
False
3
inv-proof
[(((triple8 triple7) -> rule2))]
("Fiona" "is" "young" "-")
((triple8 triple7) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Bob is nice.
True
5
proof
[(((triple1 ((triple2 triple3) -> rule7)) -> rule4) OR ((((((triple2 triple3) -> rule7)) -> rule3) ((triple2 triple3) -> rule7)) -> rule4) OR ((((((triple2 triple3) -> rule7)) -> rule5) ((triple2 triple3) -> rule7)) -> rule4))]
("Bob" "is" "nice" "+")
((triple1 ((triple2 triple3) -> (rule7 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((((triple2 triple3) -> (rule7 % int3))) -> (rule3 % int2)) ((triple2 triple3) -> (rule7 % int3))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((triple2 triple3) -> (rule7 % int3))) -> (rule5 % int2)) ((triple2 triple3) -> (rule7 % int3))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is not nice.
False
5
inv-proof
[(((triple1 ((triple2 triple3) -> rule7)) -> rule4) OR ((((((triple2 triple3) -> rule7)) -> rule3) ((triple2 triple3) -> rule7)) -> rule4) OR ((((((triple2 triple3) -> rule7)) -> rule5) ((triple2 triple3) -> rule7)) -> rule4))]
("Bob" "is" "nice" "-")
((triple1 ((triple2 triple3) -> (rule7 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((((triple2 triple3) -> (rule7 % int3))) -> (rule3 % int2)) ((triple2 triple3) -> (rule7 % int3))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((triple2 triple3) -> (rule7 % int3))) -> (rule5 % int2)) ((triple2 triple3) -> (rule7 % int3))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is young.
True
6
proof
[(((((triple1 ((triple2 triple3) -> rule7)) -> rule4)) -> rule1) OR ((((triple1 ((triple2 triple3) -> rule7)) -> rule4) triple1) -> rule2) OR ((((triple1 ((triple2 triple3) -> rule7)) -> rule4) ((((triple2 triple3) -> rule7)) -> rule3)) -> rule2) OR ((((triple1 ((triple2 triple3) -> rule7)) -> rule4) ((((triple2 triple3) -> rule7)) -> rule5)) -> rule2) OR ((((((((triple2 triple3) -> rule7)) -> rule3) ((triple2 triple3) -> rule7)) -> rule4)) -> rule1) OR ((((((((triple2 triple3) -> rule7)) -> rule5) ((triple2 triple3) -> rule7)) -> rule4)) -> rule1) OR ((((((((triple2 triple3) -> rule7)) -> rule3) ((triple2 triple3) -> rule7)) -> rule4) triple1) -> rule2) OR ((((((((triple2 triple3) -> rule7)) -> rule5) ((triple2 triple3) -> rule7)) -> rule4) triple1) -> rule2) OR ((((((((triple2 triple3) -> rule7)) -> rule3) ((triple2 triple3) -> rule7)) -> rule4) ((((triple2 triple3) -> rule7)) -> rule3)) -> rule2) OR ((((((((triple2 triple3) -> rule7)) -> rule3) ((triple2 triple3) -> rule7)) -> rule4) ((((triple2 triple3) -> rule7)) -> rule5)) -> rule2) OR ((((((((triple2 triple3) -> rule7)) -> rule5) ((triple2 triple3) -> rule7)) -> rule4) ((((triple2 triple3) -> rule7)) -> rule3)) -> rule2) OR ((((((((triple2 triple3) -> rule7)) -> rule5) ((triple2 triple3) -> rule7)) -> rule4) ((((triple2 triple3) -> rule7)) -> rule5)) -> rule2))]
("Bob" "is" "young" "+")
((((triple1 ((triple2 triple3) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((triple1 ((triple2 triple3) -> (rule7 % int3))) -> (rule4 % int2)) triple1) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((triple1 ((triple2 triple3) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple2 triple3) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((triple1 ((triple2 triple3) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple2 triple3) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((triple2 triple3) -> (rule7 % int4))) -> (rule3 % int3)) ((triple2 triple3) -> (rule7 % int4))) -> (rule4 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((triple2 triple3) -> (rule7 % int4))) -> (rule5 % int3)) ((triple2 triple3) -> (rule7 % int4))) -> (rule4 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((triple2 triple3) -> (rule7 % int4))) -> (rule3 % int3)) ((triple2 triple3) -> (rule7 % int4))) -> (rule4 % int2)) triple1) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((triple2 triple3) -> (rule7 % int4))) -> (rule5 % int3)) ((triple2 triple3) -> (rule7 % int4))) -> (rule4 % int2)) triple1) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((triple2 triple3) -> (rule7 % int4))) -> (rule3 % int3)) ((triple2 triple3) -> (rule7 % int4))) -> (rule4 % int2)) ((((triple2 triple3) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((triple2 triple3) -> (rule7 % int4))) -> (rule3 % int3)) ((triple2 triple3) -> (rule7 % int4))) -> (rule4 % int2)) ((((triple2 triple3) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((triple2 triple3) -> (rule7 % int4))) -> (rule5 % int3)) ((triple2 triple3) -> (rule7 % int4))) -> (rule4 % int2)) ((((triple2 triple3) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((triple2 triple3) -> (rule7 % int4))) -> (rule5 % int3)) ((triple2 triple3) -> (rule7 % int4))) -> (rule4 % int2)) ((((triple2 triple3) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Fiona is not white.
False
6
inv-proof
[(((((((triple8 triple7) -> rule2) triple8) -> rule9)) -> rule8))]
("Fiona" "is" "white" "-")
((((((triple8 triple7) -> (rule2 % int3)) triple8) -> (rule9 % int2))) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is red.
True
10
proof
[(((((((((triple8 triple7) -> rule2) triple8) -> rule9)) -> rule8) ((triple8 triple7) -> rule2)) -> rule6))]
("Fiona" "is" "red" "+")
((((((((triple8 triple7) -> (rule2 % int4)) triple8) -> (rule9 % int3))) -> (rule8 % int2)) ((triple8 triple7) -> (rule2 % int4))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is not red.
False
10
inv-proof
[(((((((((triple8 triple7) -> rule2) triple8) -> rule9)) -> rule8) ((triple8 triple7) -> rule2)) -> rule6))]
("Fiona" "is" "red" "-")
((((((((triple8 triple7) -> (rule2 % int4)) triple8) -> (rule9 % int3))) -> (rule8 % int2)) ((triple8 triple7) -> (rule2 % int4))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is green.
True
16
proof
[(((((((triple8 triple7) -> rule2) triple8) -> rule9) ((((((((triple8 triple7) -> rule2) triple8) -> rule9)) -> rule8) ((triple8 triple7) -> rule2)) -> rule6)) -> rule7))]
("Fiona" "is" "green" "+")
((((((triple8 triple7) -> (rule2 % int5)) triple8) -> (rule9 % int4)) ((((((((triple8 triple7) -> (rule2 % int5)) triple8) -> (rule9 % int4))) -> (rule8 % int3)) ((triple8 triple7) -> (rule2 % int5))) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
Fiona is not green.
False
16
inv-proof
[(((((((triple8 triple7) -> rule2) triple8) -> rule9) ((((((((triple8 triple7) -> rule2) triple8) -> rule9)) -> rule8) ((triple8 triple7) -> rule2)) -> rule6)) -> rule7))]
("Fiona" "is" "green" "-")
((((((triple8 triple7) -> (rule2 % int5)) triple8) -> (rule9 % int4)) ((((((((triple8 triple7) -> (rule2 % int5)) triple8) -> (rule9 % int4))) -> (rule8 % int3)) ((triple8 triple7) -> (rule2 % int5))) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
Dave is not nice.
Unknown
inv-rconc
[@4: Dave is nice.[CWA. Example of deepest failure = (rule4 <- rule7 <- rule6 <- rule2 <- FAIL)]]
("Dave" "is" "nice" "-")
Gary is white.
Unknown
rconc
[@4: Gary is white.[CWA. Example of deepest failure = (rule8 <- rule9 <- rule4 <- rule7 <- FAIL)]]
("Gary" "is" "white" "+")
Gary is not big.
Unknown
inv-rconc
[@4: Gary is big.[CWA. Example of deepest failure = (rule3 <- rule7 <- rule9 <- rule4 <- FAIL)]]
("Gary" "is" "big" "-")
Dave is red.
Unknown
rconc
[@4: Dave is red.[CWA. Example of deepest failure = (rule6 <- rule2 <- rule4 <- rule7 <- FAIL)]]
("Dave" "is" "red" "+")
Dave is not green.
Unknown
inv-rconc
[@4: Dave is green.[CWA. Example of deepest failure = (rule7 <- rule6 <- rule2 <- rule4 <- FAIL)]]
("Dave" "is" "green" "-")
Gary is green.
Unknown
rconc
[@3: Gary is green.[CWA. Example of deepest failure = (rule7 <- rule9 <- rule4 <- FAIL)]]
("Gary" "is" "green" "+")
@0: Bob is big.[(triple1 OR ((((triple2 triple3) -> rule7)) -> rule3) OR ((((triple2 triple3) -> rule7)) -> rule5))] Bob is cold.[(triple2)] Bob is red.[(triple3)] Dave is big.[(triple4)] Dave is cold.[(triple5)] Dave is white.[(triple6 OR ((triple5) -> rule8))] Fiona is big.[(triple7)] Fiona is nice.[(triple8)] Gary is red.[(triple9)] Gary is young.[(triple10)] @1: Bob is green.[(((triple2 triple3) -> rule7))] Bob is white.[(((triple2) -> rule8))] Fiona is young.[(((triple8 triple7) -> rule2))] @2: Bob is nice.[(((triple1 ((triple2 triple3) -> rule7)) -> rule4) OR ((((((triple2 triple3) -> rule7)) -> rule3) ((triple2 triple3) -> rule7)) -> rule4) OR ((((((triple2 triple3) -> rule7)) -> rule5) ((triple2 triple3) -> rule7)) -> rule4))] Fiona is cold.[(((((triple8 triple7) -> rule2) triple8) -> rule9))] @3: Bob is young.[(((((triple1 ((triple2 triple3) -> rule7)) -> rule4)) -> rule1) OR ((((triple1 ((triple2 triple3) -> rule7)) -> rule4) triple1) -> rule2) OR ((((triple1 ((triple2 triple3) -> rule7)) -> rule4) ((((triple2 triple3) -> rule7)) -> rule3)) -> rule2) OR ((((triple1 ((triple2 triple3) -> rule7)) -> rule4) ((((triple2 triple3) -> rule7)) -> rule5)) -> rule2) OR ((((((((triple2 triple3) -> rule7)) -> rule3) ((triple2 triple3) -> rule7)) -> rule4)) -> rule1) OR ((((((((triple2 triple3) -> rule7)) -> rule5) ((triple2 triple3) -> rule7)) -> rule4)) -> rule1) OR ((((((((triple2 triple3) -> rule7)) -> rule3) ((triple2 triple3) -> rule7)) -> rule4) triple1) -> rule2) OR ((((((((triple2 triple3) -> rule7)) -> rule5) ((triple2 triple3) -> rule7)) -> rule4) triple1) -> rule2) OR ((((((((triple2 triple3) -> rule7)) -> rule3) ((triple2 triple3) -> rule7)) -> rule4) ((((triple2 triple3) -> rule7)) -> rule3)) -> rule2) OR ((((((((triple2 triple3) -> rule7)) -> rule3) ((triple2 triple3) -> rule7)) -> rule4) ((((triple2 triple3) -> rule7)) -> rule5)) -> rule2) OR ((((((((triple2 triple3) -> rule7)) -> rule5) ((triple2 triple3) -> rule7)) -> rule4) ((((triple2 triple3) -> rule7)) -> rule3)) -> rule2) OR ((((((((triple2 triple3) -> rule7)) -> rule5) ((triple2 triple3) -> rule7)) -> rule4) ((((triple2 triple3) -> rule7)) -> rule5)) -> rule2))] Fiona is white.[(((((((triple8 triple7) -> rule2) triple8) -> rule9)) -> rule8))] @4: Fiona is red.[(((((((((triple8 triple7) -> rule2) triple8) -> rule9)) -> rule8) ((triple8 triple7) -> rule2)) -> rule6))] @5: Fiona is green.[(((((((triple8 triple7) -> rule2) triple8) -> rule9) ((((((((triple8 triple7) -> rule2) triple8) -> rule9)) -> rule8) ((triple8 triple7) -> rule2)) -> rule6)) -> rule7))]
Bob is big.
("Bob" "is" "big" "+")
triple1
((((triple2 triple3) -> (rule7 % int2))) -> (rule3 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((triple2 triple3) -> (rule7 % int2))) -> (rule5 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is white.
("Dave" "is" "white" "+")
triple6
((triple5) -> (rule8 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
triple7
Fiona is nice.
("Fiona" "is" "nice" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple10
Bob is green.
("Bob" "is" "green" "+")
((triple2 triple3) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
((triple2) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple8 triple7) -> (rule2 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
((triple1 ((triple2 triple3) -> (rule7 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((((triple2 triple3) -> (rule7 % int3))) -> (rule3 % int2)) ((triple2 triple3) -> (rule7 % int3))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((triple2 triple3) -> (rule7 % int3))) -> (rule5 % int2)) ((triple2 triple3) -> (rule7 % int3))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
((((triple8 triple7) -> (rule2 % int2)) triple8) -> (rule9 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
((((triple1 ((triple2 triple3) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((triple1 ((triple2 triple3) -> (rule7 % int3))) -> (rule4 % int2)) triple1) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((triple1 ((triple2 triple3) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple2 triple3) -> (rule7 % int4))) -> (rule3 % int2))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((triple1 ((triple2 triple3) -> (rule7 % int4))) -> (rule4 % int3)) ((((triple2 triple3) -> (rule7 % int4))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((triple2 triple3) -> (rule7 % int4))) -> (rule3 % int3)) ((triple2 triple3) -> (rule7 % int4))) -> (rule4 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((triple2 triple3) -> (rule7 % int4))) -> (rule5 % int3)) ((triple2 triple3) -> (rule7 % int4))) -> (rule4 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((triple2 triple3) -> (rule7 % int4))) -> (rule3 % int3)) ((triple2 triple3) -> (rule7 % int4))) -> (rule4 % int2)) triple1) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((triple2 triple3) -> (rule7 % int4))) -> (rule5 % int3)) ((triple2 triple3) -> (rule7 % int4))) -> (rule4 % int2)) triple1) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((triple2 triple3) -> (rule7 % int4))) -> (rule3 % int3)) ((triple2 triple3) -> (rule7 % int4))) -> (rule4 % int2)) ((((triple2 triple3) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((triple2 triple3) -> (rule7 % int4))) -> (rule3 % int3)) ((triple2 triple3) -> (rule7 % int4))) -> (rule4 % int2)) ((((triple2 triple3) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((triple2 triple3) -> (rule7 % int4))) -> (rule5 % int3)) ((triple2 triple3) -> (rule7 % int4))) -> (rule4 % int2)) ((((triple2 triple3) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
((((((((triple2 triple3) -> (rule7 % int4))) -> (rule5 % int3)) ((triple2 triple3) -> (rule7 % int4))) -> (rule4 % int2)) ((((triple2 triple3) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule2 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
((((((triple8 triple7) -> (rule2 % int3)) triple8) -> (rule9 % int2))) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
((((((((triple8 triple7) -> (rule2 % int4)) triple8) -> (rule9 % int3))) -> (rule8 % int2)) ((triple8 triple7) -> (rule2 % int4))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
((((((triple8 triple7) -> (rule2 % int5)) triple8) -> (rule9 % int4)) ((((((((triple8 triple7) -> (rule2 % int5)) triple8) -> (rule9 % int4))) -> (rule8 % int3)) ((triple8 triple7) -> (rule2 % int5))) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5