Bob is big. Bob is cold. Bob is smart. Charlie is cold. Charlie is smart. Dave is big. Fiona is red. If something is white and green then it is red. If something is kind then it is cold. If something is cold then it is white. If something is big then it is smart. All red things are smart. All smart things are kind. Kind, big things are green. If Fiona is smart then Fiona is white.
Bob is big.
("Bob" "is" "big" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Dave is big.
("Dave" "is" "big" "+")
Fiona is red.
("Fiona" "is" "red" "+")
If something is white and green then it is red.
((("something" "is" "white" "+") ("something" "is" "green" "+")) -> ("something" "is" "red" "+"))
If something is kind then it is cold.
((("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
If something is cold then it is white.
((("something" "is" "cold" "+")) -> ("something" "is" "white" "+"))
If something is big then it is smart.
((("something" "is" "big" "+")) -> ("something" "is" "smart" "+"))
All red things are smart.
((("something" "is" "red" "+")) -> ("something" "is" "smart" "+"))
All smart things are kind.
((("something" "is" "smart" "+")) -> ("something" "is" "kind" "+"))
Kind, big things are green.
((("something" "is" "kind" "+") ("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
If Fiona is smart then Fiona is white.
((("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "white" "+"))
Charlie is cold.
True
1
proof
[(triple4 OR ((((triple5) -> rule6)) -> rule2))]
("Charlie" "is" "cold" "+")
triple4
((((triple5) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Bob is not big.
False
1
inv-proof
[(triple1)]
("Bob" "is" "big" "-")
triple1
Charlie is white.
True
2
proof
[(((triple4) -> rule3) OR ((((((triple5) -> rule6)) -> rule2)) -> rule3))]
("Charlie" "is" "white" "+")
((triple4) -> (rule3 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
((((((triple5) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is not white.
False
2
inv-proof
[(((triple4) -> rule3) OR ((((((triple5) -> rule6)) -> rule2)) -> rule3))]
("Charlie" "is" "white" "-")
((triple4) -> (rule3 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
((((((triple5) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Fiona is white.
True
3
proof
[(((((triple7) -> rule5)) -> rule8) OR ((((((((triple7) -> rule5)) -> rule6)) -> rule2)) -> rule3))]
("Fiona" "is" "white" "+")
((((triple7) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((((((triple7) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is not kind.
False
3
inv-proof
[(((((triple7) -> rule5)) -> rule6))]
("Fiona" "is" "kind" "-")
((((triple7) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Dave is green.
True
5
proof
[(((((((triple6) -> rule4)) -> rule6) triple6) -> rule7))]
("Dave" "is" "green" "+")
((((((triple6) -> (rule4 % int3))) -> (rule6 % int2)) triple6) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Bob is not red.
False
7
inv-proof
[(((((triple2) -> rule3) ((((triple3) -> rule6) triple1) -> rule7)) -> rule1) OR ((((triple2) -> rule3) ((((((triple1) -> rule4)) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((((triple3) -> rule6)) -> rule2)) -> rule3) ((((triple3) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((((triple3) -> rule6)) -> rule2)) -> rule3) ((((((triple1) -> rule4)) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((((((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule3) ((((triple3) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((((((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule3) ((((((triple1) -> rule4)) -> rule6) triple1) -> rule7)) -> rule1))]
("Bob" "is" "red" "-")
((((triple2) -> (rule3 % int4)) ((((triple3) -> (rule6 % int3)) triple1) -> (rule7 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
((((triple2) -> (rule3 % int5)) ((((((triple1) -> (rule4 % int4))) -> (rule6 % int3)) triple1) -> (rule7 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((((((((triple3) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple3) -> (rule6 % int5)) triple1) -> (rule7 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((((triple3) -> (rule6 % int6))) -> (rule2 % int5))) -> (rule3 % int4)) ((((((triple1) -> (rule4 % int3))) -> (rule6 % int6)) triple1) -> (rule7 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((((((((triple1) -> (rule4 % int6))) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple3) -> (rule6 % int5)) triple1) -> (rule7 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is smart.
("Bob" "is" "smart" "+")
int6
((((((((((triple1) -> (rule4 % int6))) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((((((triple1) -> (rule4 % int6))) -> (rule6 % int5)) triple1) -> (rule7 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is smart.
("Bob" "is" "smart" "+")
int6
Dave is white.
True
5
proof
[(((((((((triple6) -> rule4)) -> rule6)) -> rule2)) -> rule3))]
("Dave" "is" "white" "+")
((((((((triple6) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is not white.
False
5
inv-proof
[(((((((((triple6) -> rule4)) -> rule6)) -> rule2)) -> rule3))]
("Dave" "is" "white" "-")
((((((((triple6) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is red.
True
11
proof
[(((((((((((triple6) -> rule4)) -> rule6)) -> rule2)) -> rule3) ((((((triple6) -> rule4)) -> rule6) triple6) -> rule7)) -> rule1))]
("Dave" "is" "red" "+")
((((((((((triple6) -> (rule4 % int6))) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((((((triple6) -> (rule4 % int6))) -> (rule6 % int5)) triple6) -> (rule7 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
Dave is smart.
("Dave" "is" "smart" "+")
int6
Dave is not red.
False
11
inv-proof
[(((((((((((triple6) -> rule4)) -> rule6)) -> rule2)) -> rule3) ((((((triple6) -> rule4)) -> rule6) triple6) -> rule7)) -> rule1))]
("Dave" "is" "red" "-")
((((((((((triple6) -> (rule4 % int6))) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((((((triple6) -> (rule4 % int6))) -> (rule6 % int5)) triple6) -> (rule7 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
Dave is smart.
("Dave" "is" "smart" "+")
int6
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "green" "-")
Charlie is red.
Unknown
rconc
[@2: Charlie is red.[CWA. Example of deepest failure = (rule1 <- rule7 <- FAIL)]]
("Charlie" "is" "red" "+")
Fiona is not green.
Unknown
inv-rconc
[@1: Fiona is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fiona" "is" "green" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Bob is big.[(triple1)] Bob is cold.[(triple2 OR ((((triple3) -> rule6)) -> rule2) OR ((((((triple1) -> rule4)) -> rule6)) -> rule2))] Bob is smart.[(triple3 OR ((triple1) -> rule4))] Charlie is cold.[(triple4 OR ((((triple5) -> rule6)) -> rule2))] Charlie is smart.[(triple5)] Dave is big.[(triple6)] Fiona is red.[(triple7)] @1: Bob is kind.[(((triple3) -> rule6) OR ((((triple1) -> rule4)) -> rule6))] Bob is white.[(((triple2) -> rule3) OR ((((((triple3) -> rule6)) -> rule2)) -> rule3) OR ((((((((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule3))] Charlie is kind.[(((triple5) -> rule6))] Charlie is white.[(((triple4) -> rule3) OR ((((((triple5) -> rule6)) -> rule2)) -> rule3))] Dave is smart.[(((triple6) -> rule4))] Fiona is smart.[(((triple7) -> rule5))] @2: Bob is green.[(((((triple3) -> rule6) triple1) -> rule7) OR ((((((triple1) -> rule4)) -> rule6) triple1) -> rule7))] Dave is kind.[(((((triple6) -> rule4)) -> rule6))] Fiona is kind.[(((((triple7) -> rule5)) -> rule6))] Fiona is white.[(((((triple7) -> rule5)) -> rule8) OR ((((((((triple7) -> rule5)) -> rule6)) -> rule2)) -> rule3))] @3: Bob is red.[(((((triple2) -> rule3) ((((triple3) -> rule6) triple1) -> rule7)) -> rule1) OR ((((triple2) -> rule3) ((((((triple1) -> rule4)) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((((triple3) -> rule6)) -> rule2)) -> rule3) ((((triple3) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((((triple3) -> rule6)) -> rule2)) -> rule3) ((((((triple1) -> rule4)) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((((((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule3) ((((triple3) -> rule6) triple1) -> rule7)) -> rule1) OR ((((((((((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule3) ((((((triple1) -> rule4)) -> rule6) triple1) -> rule7)) -> rule1))] Dave is cold.[(((((((triple6) -> rule4)) -> rule6)) -> rule2))] Dave is green.[(((((((triple6) -> rule4)) -> rule6) triple6) -> rule7))] Fiona is cold.[(((((((triple7) -> rule5)) -> rule6)) -> rule2))] @4: Dave is white.[(((((((((triple6) -> rule4)) -> rule6)) -> rule2)) -> rule3))] @5: Dave is red.[(((((((((((triple6) -> rule4)) -> rule6)) -> rule2)) -> rule3) ((((((triple6) -> rule4)) -> rule6) triple6) -> rule7)) -> rule1))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
((((triple3) -> (rule6 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((((triple1) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
triple3
((triple1) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
((((triple5) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
triple5
Dave is big.
("Dave" "is" "big" "+")
triple6
Fiona is red.
("Fiona" "is" "red" "+")
triple7
Bob is kind.
("Bob" "is" "kind" "+")
((triple3) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((((triple1) -> (rule4 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
((triple2) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((((((triple3) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((((triple1) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple5) -> (rule6 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
((triple4) -> (rule3 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
((((((triple5) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
((triple6) -> (rule4 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple7) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
((((triple3) -> (rule6 % int2)) triple1) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((((triple1) -> (rule4 % int3))) -> (rule6 % int2)) triple1) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
((((triple6) -> (rule4 % int2))) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
((((triple7) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
((((triple7) -> (rule5 % int2))) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((((((triple7) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
((((triple2) -> (rule3 % int4)) ((((triple3) -> (rule6 % int3)) triple1) -> (rule7 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
((((triple2) -> (rule3 % int5)) ((((((triple1) -> (rule4 % int4))) -> (rule6 % int3)) triple1) -> (rule7 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
int5
((((((((triple3) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple3) -> (rule6 % int5)) triple1) -> (rule7 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((((((triple3) -> (rule6 % int6))) -> (rule2 % int5))) -> (rule3 % int4)) ((((((triple1) -> (rule4 % int3))) -> (rule6 % int6)) triple1) -> (rule7 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is white.
("Bob" "is" "white" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is kind.
("Bob" "is" "kind" "+")
int6
((((((((((triple1) -> (rule4 % int6))) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple3) -> (rule6 % int5)) triple1) -> (rule7 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is smart.
("Bob" "is" "smart" "+")
int6
((((((((((triple1) -> (rule4 % int6))) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((((((triple1) -> (rule4 % int6))) -> (rule6 % int5)) triple1) -> (rule7 % int2))) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is smart.
("Bob" "is" "smart" "+")
int6
Dave is cold.
("Dave" "is" "cold" "+")
((((((triple6) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
((((((triple6) -> (rule4 % int3))) -> (rule6 % int2)) triple6) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
((((((triple7) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
((((((((triple6) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is red.
("Dave" "is" "red" "+")
((((((((((triple6) -> (rule4 % int6))) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((((((triple6) -> (rule4 % int6))) -> (rule6 % int5)) triple6) -> (rule7 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
int5
Dave is smart.
("Dave" "is" "smart" "+")
int6