Bob is green. Charlie is green. Charlie is smart. Fiona is big. Fiona is blue. Fiona is green. Fiona is red. Fiona is rough. Fiona is round. Fiona is smart. Harry is red. Harry is smart. All rough, green people are red. All big people are smart. If someone is red then they are smart. If someone is green then they are big. All big, smart people are rough. Red people are round.
Bob is green.
("Bob" "is" "green" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is smart.
("Harry" "is" "smart" "+")
All rough, green people are red.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
All big people are smart.
((("someone" "is" "big" "+")) -> ("someone" "is" "smart" "+"))
If someone is red then they are smart.
((("someone" "is" "red" "+")) -> ("someone" "is" "smart" "+"))
If someone is green then they are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
All big, smart people are rough.
((("someone" "is" "big" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "rough" "+"))
Red people are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Charlie is green.
True
1
proof
[(triple2)]
("Charlie" "is" "green" "+")
triple2
Harry is not red.
False
1
inv-proof
[(triple11)]
("Harry" "is" "red" "-")
triple11
Charlie is big.
True
2
proof
[(((triple2) -> rule4))]
("Charlie" "is" "big" "+")
((triple2) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Bob is not big.
False
2
inv-proof
[(((triple1) -> rule4))]
("Bob" "is" "big" "-")
((triple1) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is smart.
True
3
proof
[(((((triple1) -> rule4)) -> rule2))]
("Bob" "is" "smart" "+")
((((triple1) -> (rule4 % int2))) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is not smart.
False
3
inv-proof
[(((((triple1) -> rule4)) -> rule2))]
("Bob" "is" "smart" "-")
((((triple1) -> (rule4 % int2))) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Charlie is red.
True
6
proof
[(((((((triple2) -> rule4) triple3) -> rule5) triple2) -> rule1) OR ((((((triple2) -> rule4) ((((triple2) -> rule4)) -> rule2)) -> rule5) triple2) -> rule1))]
("Charlie" "is" "red" "+")
((((((triple2) -> (rule4 % int3)) triple3) -> (rule5 % int2)) triple2) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple2) -> (rule4 % int4)) ((((triple2) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int2)) triple2) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Bob is not rough.
False
6
inv-proof
[(((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule2)) -> rule5))]
("Bob" "is" "rough" "-")
((((triple1) -> (rule4 % int3)) ((((triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is red.
True
8
proof
[(((((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule2)) -> rule5) triple1) -> rule1))]
("Bob" "is" "red" "+")
((((((triple1) -> (rule4 % int4)) ((((triple1) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int2)) triple1) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Charlie is not round.
False
7
inv-proof
[(((((((((triple2) -> rule4) triple3) -> rule5) triple2) -> rule1)) -> rule6) OR ((((((((triple2) -> rule4) ((((triple2) -> rule4)) -> rule2)) -> rule5) triple2) -> rule1)) -> rule6))]
("Charlie" "is" "round" "-")
((((((((triple2) -> (rule4 % int4)) triple3) -> (rule5 % int3)) triple2) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((((triple2) -> (rule4 % int5)) ((((triple2) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule5 % int3)) triple2) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Bob is round.
True
9
proof
[(((((((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule2)) -> rule5) triple1) -> rule1)) -> rule6))]
("Bob" "is" "round" "+")
((((((((triple1) -> (rule4 % int5)) ((((triple1) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule5 % int3)) triple1) -> (rule1 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Bob is not round.
False
9
inv-proof
[(((((((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule2)) -> rule5) triple1) -> rule1)) -> rule6))]
("Bob" "is" "round" "-")
((((((((triple1) -> (rule4 % int5)) ((((triple1) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule5 % int3)) triple1) -> (rule1 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "big" "-")
Harry is rough.
Unknown
rconc
[@2: Harry is rough.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Harry" "is" "rough" "+")
Bob is not blue.
Unknown
inv-random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Bob is green.[(triple1)] Charlie is green.[(triple2)] Charlie is smart.[(triple3 OR ((((triple2) -> rule4)) -> rule2))] Fiona is big.[(triple4 OR ((triple6) -> rule4))] Fiona is blue.[(triple5)] Fiona is green.[(triple6)] Fiona is red.[(triple7 OR ((triple8 triple6) -> rule1) OR ((((triple4 triple10) -> rule5) triple6) -> rule1) OR ((((triple4 ((triple4) -> rule2)) -> rule5) triple6) -> rule1) OR ((((((triple6) -> rule4) triple10) -> rule5) triple6) -> rule1) OR ((((((triple6) -> rule4) ((triple4) -> rule2)) -> rule5) triple6) -> rule1) OR ((((triple4 ((((triple6) -> rule4)) -> rule2)) -> rule5) triple6) -> rule1) OR ((((((triple6) -> rule4) ((((triple6) -> rule4)) -> rule2)) -> rule5) triple6) -> rule1))] Fiona is rough.[(triple8 OR ((triple4 triple10) -> rule5) OR ((triple4 ((triple4) -> rule2)) -> rule5) OR ((triple4 ((triple7) -> rule3)) -> rule5) OR ((((triple6) -> rule4) triple10) -> rule5) OR ((((triple6) -> rule4) ((triple4) -> rule2)) -> rule5) OR ((((triple6) -> rule4) ((triple7) -> rule3)) -> rule5) OR ((triple4 ((((triple6) -> rule4)) -> rule2)) -> rule5) OR ((((triple6) -> rule4) ((((triple6) -> rule4)) -> rule2)) -> rule5))] Fiona is round.[(triple9 OR ((triple7) -> rule6) OR ((((triple8 triple6) -> rule1)) -> rule6) OR ((((((triple4 triple10) -> rule5) triple6) -> rule1)) -> rule6) OR ((((((triple4 ((triple4) -> rule2)) -> rule5) triple6) -> rule1)) -> rule6) OR ((((((((triple6) -> rule4) triple10) -> rule5) triple6) -> rule1)) -> rule6) OR ((((((((triple6) -> rule4) ((triple4) -> rule2)) -> rule5) triple6) -> rule1)) -> rule6) OR ((((((triple4 ((((triple6) -> rule4)) -> rule2)) -> rule5) triple6) -> rule1)) -> rule6) OR ((((((((triple6) -> rule4) ((((triple6) -> rule4)) -> rule2)) -> rule5) triple6) -> rule1)) -> rule6))] Fiona is smart.[(triple10 OR ((triple4) -> rule2) OR ((triple7) -> rule3) OR ((((triple6) -> rule4)) -> rule2) OR ((((triple8 triple6) -> rule1)) -> rule3))] Harry is red.[(triple11)] Harry is smart.[(triple12 OR ((triple11) -> rule3))] @1: Bob is big.[(((triple1) -> rule4))] Charlie is big.[(((triple2) -> rule4))] Harry is round.[(((triple11) -> rule6))] @2: Bob is smart.[(((((triple1) -> rule4)) -> rule2))] Charlie is rough.[(((((triple2) -> rule4) triple3) -> rule5) OR ((((triple2) -> rule4) ((((triple2) -> rule4)) -> rule2)) -> rule5))] @3: Bob is rough.[(((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule2)) -> rule5))] Charlie is red.[(((((((triple2) -> rule4) triple3) -> rule5) triple2) -> rule1) OR ((((((triple2) -> rule4) ((((triple2) -> rule4)) -> rule2)) -> rule5) triple2) -> rule1))] @4: Bob is red.[(((((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule2)) -> rule5) triple1) -> rule1))] Charlie is round.[(((((((((triple2) -> rule4) triple3) -> rule5) triple2) -> rule1)) -> rule6) OR ((((((((triple2) -> rule4) ((((triple2) -> rule4)) -> rule2)) -> rule5) triple2) -> rule1)) -> rule6))] @5: Bob is round.[(((((((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule2)) -> rule5) triple1) -> rule1)) -> rule6))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is smart.
("Charlie" "is" "smart" "+")
triple3
((((triple2) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
triple4
((triple6) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple5
Fiona is green.
("Fiona" "is" "green" "+")
triple6
Fiona is red.
("Fiona" "is" "red" "+")
triple7
((triple8 triple6) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((((triple4 triple10) -> (rule5 % int2)) triple6) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((triple4 ((triple4) -> (rule2 % int3))) -> (rule5 % int2)) triple6) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
((((((triple6) -> (rule4 % int3)) triple10) -> (rule5 % int2)) triple6) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((((triple6) -> (rule4 % int4)) ((triple4) -> (rule2 % int3))) -> (rule5 % int2)) triple6) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((triple4 ((((triple6) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int2)) triple6) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((((triple6) -> (rule4 % int4)) ((((triple6) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int2)) triple6) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
triple8
((triple4 triple10) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((triple4 ((triple4) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((triple4 ((triple7) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
((((triple6) -> (rule4 % int2)) triple10) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple6) -> (rule4 % int3)) ((triple4) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((triple6) -> (rule4 % int3)) ((triple7) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((triple4 ((((triple6) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((triple6) -> (rule4 % int3)) ((((triple6) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
triple9
((triple7) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((((triple8 triple6) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((((triple4 triple10) -> (rule5 % int3)) triple6) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple4 ((triple4) -> (rule2 % int4))) -> (rule5 % int3)) triple6) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
((((((((triple6) -> (rule4 % int4)) triple10) -> (rule5 % int3)) triple6) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((((((triple6) -> (rule4 % int5)) ((triple4) -> (rule2 % int4))) -> (rule5 % int3)) triple6) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((((triple4 ((((triple6) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule5 % int3)) triple6) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((((((triple6) -> (rule4 % int5)) ((((triple6) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule5 % int3)) triple6) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple10
((triple4) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple7) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple6) -> (rule4 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple8 triple6) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
triple11
Harry is smart.
("Harry" "is" "smart" "+")
triple12
((triple11) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((triple1) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((triple2) -> (rule4 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple11) -> (rule6 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
((((triple1) -> (rule4 % int2))) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
((((triple2) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple2) -> (rule4 % int3)) ((((triple2) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
((((triple1) -> (rule4 % int3)) ((((triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
((((((triple2) -> (rule4 % int3)) triple3) -> (rule5 % int2)) triple2) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple2) -> (rule4 % int4)) ((((triple2) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int2)) triple2) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is smart.
("Charlie" "is" "smart" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
((((((triple1) -> (rule4 % int4)) ((((triple1) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule5 % int2)) triple1) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
((((((((triple2) -> (rule4 % int4)) triple3) -> (rule5 % int3)) triple2) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
((((((((triple2) -> (rule4 % int5)) ((((triple2) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule5 % int3)) triple2) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
int5
Bob is round.
("Bob" "is" "round" "+")
((((((((triple1) -> (rule4 % int5)) ((((triple1) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule5 % int3)) triple1) -> (rule1 % int2))) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is big.
("Bob" "is" "big" "+")
int5