Bob is cold. Bob is green. Bob is red. Bob is smart. Charlie is cold. Charlie is green. Charlie is rough. Charlie is smart. Charlie is white. Fiona is cold. Fiona is green. Fiona is smart. Harry is cold. Harry is furry. Harry is smart. Smart, furry people are rough. All white, red people are furry. Red people are green. Green, cold people are smart. All cold people are white. All furry, green people are cold. If someone is green then they are cold. If Charlie is green and Charlie is smart then Charlie is rough.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Smart, furry people are rough.
((("someone" "is" "smart" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "rough" "+"))
All white, red people are furry.
((("someone" "is" "white" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "furry" "+"))
Red people are green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
Green, cold people are smart.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "+"))
All cold people are white.
((("someone" "is" "cold" "+")) -> ("someone" "is" "white" "+"))
All furry, green people are cold.
((("someone" "is" "furry" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is green then they are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If Charlie is green and Charlie is smart then Charlie is rough.
((("Charlie" "is" "green" "+") ("Charlie" "is" "smart" "+")) -> ("Charlie" "is" "rough" "+"))
Fiona is cold.
True
1
proof
[(triple10 OR ((triple11) -> rule7))]
("Fiona" "is" "cold" "+")
triple10
((triple11) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Bob is not smart.
False
1
inv-proof
[(triple4 OR ((triple2 triple1) -> rule4) OR ((triple2 ((triple2) -> rule7)) -> rule4) OR ((((triple3) -> rule3) triple1) -> rule4) OR ((((triple3) -> rule3) ((triple2) -> rule7)) -> rule4) OR ((triple2 ((((triple3) -> rule3)) -> rule7)) -> rule4) OR ((((triple3) -> rule3) ((((triple3) -> rule3)) -> rule7)) -> rule4))]
("Bob" "is" "smart" "-")
triple4
((triple2 triple1) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((triple2 ((triple2) -> (rule7 % int2))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple3) -> (rule3 % int2)) triple1) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((triple3) -> (rule3 % int3)) ((triple2) -> (rule7 % int2))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((triple2 ((((triple3) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((triple3) -> (rule3 % int3)) ((((triple3) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Harry is white.
True
2
proof
[(((triple13) -> rule5))]
("Harry" "is" "white" "+")
((triple13) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Fiona is not white.
False
2
inv-proof
[(((triple10) -> rule5) OR ((((triple11) -> rule7)) -> rule5))]
("Fiona" "is" "white" "-")
((triple10) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((((triple11) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Bob is furry.
True
4
proof
[(((((triple1) -> rule5) triple3) -> rule2) OR ((((((triple2) -> rule7)) -> rule5) triple3) -> rule2) OR ((((((((triple3) -> rule3)) -> rule7)) -> rule5) triple3) -> rule2))]
("Bob" "is" "furry" "+")
((((triple1) -> (rule5 % int2)) triple3) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((((((triple2) -> (rule7 % int3))) -> (rule5 % int2)) triple3) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((((triple3) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule5 % int2)) triple3) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is not furry.
False
4
inv-proof
[(((((triple1) -> rule5) triple3) -> rule2) OR ((((((triple2) -> rule7)) -> rule5) triple3) -> rule2) OR ((((((((triple3) -> rule3)) -> rule7)) -> rule5) triple3) -> rule2))]
("Bob" "is" "furry" "-")
((((triple1) -> (rule5 % int2)) triple3) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((((((triple2) -> (rule7 % int3))) -> (rule5 % int2)) triple3) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((((triple3) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule5 % int2)) triple3) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is rough.
True
6
proof
[(((triple4 ((((triple1) -> rule5) triple3) -> rule2)) -> rule1) OR ((((triple2 triple1) -> rule4) ((((triple1) -> rule5) triple3) -> rule2)) -> rule1) OR ((((triple2 ((triple2) -> rule7)) -> rule4) ((((triple1) -> rule5) triple3) -> rule2)) -> rule1) OR ((((((triple3) -> rule3) triple1) -> rule4) ((((triple1) -> rule5) triple3) -> rule2)) -> rule1) OR ((((((triple3) -> rule3) ((triple2) -> rule7)) -> rule4) ((((triple1) -> rule5) triple3) -> rule2)) -> rule1) OR ((triple4 ((((((triple2) -> rule7)) -> rule5) triple3) -> rule2)) -> rule1) OR ((((triple2 triple1) -> rule4) ((((((triple2) -> rule7)) -> rule5) triple3) -> rule2)) -> rule1) OR ((((triple2 ((triple2) -> rule7)) -> rule4) ((((((triple2) -> rule7)) -> rule5) triple3) -> rule2)) -> rule1) OR ((((triple2 ((((triple3) -> rule3)) -> rule7)) -> rule4) ((((triple1) -> rule5) triple3) -> rule2)) -> rule1) OR ((((((triple3) -> rule3) triple1) -> rule4) ((((((triple2) -> rule7)) -> rule5) triple3) -> rule2)) -> rule1) OR ((((triple2 ((((triple3) -> rule3)) -> rule7)) -> rule4) ((((((triple2) -> rule7)) -> rule5) triple3) -> rule2)) -> rule1) OR ((((((triple3) -> rule3) ((triple2) -> rule7)) -> rule4) ((((((triple2) -> rule7)) -> rule5) triple3) -> rule2)) -> rule1) OR ((((((triple3) -> rule3) ((((triple3) -> rule3)) -> rule7)) -> rule4) ((((triple1) -> rule5) triple3) -> rule2)) -> rule1) OR ((((((triple3) -> rule3) ((((triple3) -> rule3)) -> rule7)) -> rule4) ((((((triple2) -> rule7)) -> rule5) triple3) -> rule2)) -> rule1) OR ((triple4 ((((((((triple3) -> rule3)) -> rule7)) -> rule5) triple3) -> rule2)) -> rule1) OR ((((triple2 triple1) -> rule4) ((((((((triple3) -> rule3)) -> rule7)) -> rule5) triple3) -> rule2)) -> rule1) OR ((((triple2 ((triple2) -> rule7)) -> rule4) ((((((((triple3) -> rule3)) -> rule7)) -> rule5) triple3) -> rule2)) -> rule1) OR ((((((triple3) -> rule3) triple1) -> rule4) ((((((((triple3) -> rule3)) -> rule7)) -> rule5) triple3) -> rule2)) -> rule1) OR ((((triple2 ((((triple3) -> rule3)) -> rule7)) -> rule4) ((((((((triple3) -> rule3)) -> rule7)) -> rule5) triple3) -> rule2)) -> rule1) OR ((((((triple3) -> rule3) ((triple2) -> rule7)) -> rule4) ((((((((triple3) -> rule3)) -> rule7)) -> rule5) triple3) -> rule2)) -> rule1) OR ((((((triple3) -> rule3) ((((triple3) -> rule3)) -> rule7)) -> rule4) ((((((((triple3) -> rule3)) -> rule7)) -> rule5) triple3) -> rule2)) -> rule1))]
("Bob" "is" "rough" "+")
((triple4 ((((triple1) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((((triple2 triple1) -> (rule4 % int4)) ((((triple1) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((triple2 ((triple2) -> (rule7 % int5))) -> (rule4 % int4)) ((((triple1) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((triple3) -> (rule3 % int5)) triple1) -> (rule4 % int4)) ((((triple1) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((((triple3) -> (rule3 % int6)) ((triple2) -> (rule7 % int5))) -> (rule4 % int4)) ((((triple1) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((triple4 ((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((triple2 triple1) -> (rule4 % int5)) ((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((triple2 ((triple2) -> (rule7 % int5))) -> (rule4 % int4)) ((((((triple2) -> (rule7 % int5))) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((triple2 ((((triple3) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule4 % int4)) ((((triple1) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((((triple3) -> (rule3 % int6)) triple1) -> (rule4 % int5)) ((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((triple2 ((((triple3) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule4 % int4)) ((((((triple2) -> (rule7 % int5))) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((((triple3) -> (rule3 % int6)) ((triple2) -> (rule7 % int5))) -> (rule4 % int4)) ((((((triple2) -> (rule7 % int5))) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((((triple3) -> (rule3 % int6)) ((((triple3) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule4 % int4)) ((((triple1) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((((triple3) -> (rule3 % int6)) ((((triple3) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule4 % int4)) ((((((triple2) -> (rule7 % int5))) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((triple4 ((((((((triple3) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((triple2 triple1) -> (rule4 % int6)) ((((((((triple3) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Bob is smart.
("Bob" "is" "smart" "+")
int6
((((triple2 ((triple2) -> (rule7 % int6))) -> (rule4 % int5)) ((((((((triple3) -> (rule3 % int4))) -> (rule7 % int6))) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((((triple3) -> (rule3 % int6)) triple1) -> (rule4 % int5)) ((((((((triple3) -> (rule3 % int6))) -> (rule7 % int4))) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((triple2 ((((triple3) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule4 % int4)) ((((((((triple3) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((((triple3) -> (rule3 % int6)) ((triple2) -> (rule7 % int5))) -> (rule4 % int4)) ((((((((triple3) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((((triple3) -> (rule3 % int6)) ((((triple3) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule4 % int4)) ((((((((triple3) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
Bob is not rough.
False
6
inv-proof
[(((triple4 ((((triple1) -> rule5) triple3) -> rule2)) -> rule1) OR ((((triple2 triple1) -> rule4) ((((triple1) -> rule5) triple3) -> rule2)) -> rule1) OR ((((triple2 ((triple2) -> rule7)) -> rule4) ((((triple1) -> rule5) triple3) -> rule2)) -> rule1) OR ((((((triple3) -> rule3) triple1) -> rule4) ((((triple1) -> rule5) triple3) -> rule2)) -> rule1) OR ((((((triple3) -> rule3) ((triple2) -> rule7)) -> rule4) ((((triple1) -> rule5) triple3) -> rule2)) -> rule1) OR ((triple4 ((((((triple2) -> rule7)) -> rule5) triple3) -> rule2)) -> rule1) OR ((((triple2 triple1) -> rule4) ((((((triple2) -> rule7)) -> rule5) triple3) -> rule2)) -> rule1) OR ((((triple2 ((triple2) -> rule7)) -> rule4) ((((((triple2) -> rule7)) -> rule5) triple3) -> rule2)) -> rule1) OR ((((triple2 ((((triple3) -> rule3)) -> rule7)) -> rule4) ((((triple1) -> rule5) triple3) -> rule2)) -> rule1) OR ((((((triple3) -> rule3) triple1) -> rule4) ((((((triple2) -> rule7)) -> rule5) triple3) -> rule2)) -> rule1) OR ((((triple2 ((((triple3) -> rule3)) -> rule7)) -> rule4) ((((((triple2) -> rule7)) -> rule5) triple3) -> rule2)) -> rule1) OR ((((((triple3) -> rule3) ((triple2) -> rule7)) -> rule4) ((((((triple2) -> rule7)) -> rule5) triple3) -> rule2)) -> rule1) OR ((((((triple3) -> rule3) ((((triple3) -> rule3)) -> rule7)) -> rule4) ((((triple1) -> rule5) triple3) -> rule2)) -> rule1) OR ((((((triple3) -> rule3) ((((triple3) -> rule3)) -> rule7)) -> rule4) ((((((triple2) -> rule7)) -> rule5) triple3) -> rule2)) -> rule1) OR ((triple4 ((((((((triple3) -> rule3)) -> rule7)) -> rule5) triple3) -> rule2)) -> rule1) OR ((((triple2 triple1) -> rule4) ((((((((triple3) -> rule3)) -> rule7)) -> rule5) triple3) -> rule2)) -> rule1) OR ((((triple2 ((triple2) -> rule7)) -> rule4) ((((((((triple3) -> rule3)) -> rule7)) -> rule5) triple3) -> rule2)) -> rule1) OR ((((((triple3) -> rule3) triple1) -> rule4) ((((((((triple3) -> rule3)) -> rule7)) -> rule5) triple3) -> rule2)) -> rule1) OR ((((triple2 ((((triple3) -> rule3)) -> rule7)) -> rule4) ((((((((triple3) -> rule3)) -> rule7)) -> rule5) triple3) -> rule2)) -> rule1) OR ((((((triple3) -> rule3) ((triple2) -> rule7)) -> rule4) ((((((((triple3) -> rule3)) -> rule7)) -> rule5) triple3) -> rule2)) -> rule1) OR ((((((triple3) -> rule3) ((((triple3) -> rule3)) -> rule7)) -> rule4) ((((((((triple3) -> rule3)) -> rule7)) -> rule5) triple3) -> rule2)) -> rule1))]
("Bob" "is" "rough" "-")
((triple4 ((((triple1) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((((triple2 triple1) -> (rule4 % int4)) ((((triple1) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((triple2 ((triple2) -> (rule7 % int5))) -> (rule4 % int4)) ((((triple1) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((triple3) -> (rule3 % int5)) triple1) -> (rule4 % int4)) ((((triple1) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((((triple3) -> (rule3 % int6)) ((triple2) -> (rule7 % int5))) -> (rule4 % int4)) ((((triple1) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((triple4 ((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((triple2 triple1) -> (rule4 % int5)) ((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((triple2 ((triple2) -> (rule7 % int5))) -> (rule4 % int4)) ((((((triple2) -> (rule7 % int5))) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((triple2 ((((triple3) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule4 % int4)) ((((triple1) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((((triple3) -> (rule3 % int6)) triple1) -> (rule4 % int5)) ((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((triple2 ((((triple3) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule4 % int4)) ((((((triple2) -> (rule7 % int5))) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((((triple3) -> (rule3 % int6)) ((triple2) -> (rule7 % int5))) -> (rule4 % int4)) ((((((triple2) -> (rule7 % int5))) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((((triple3) -> (rule3 % int6)) ((((triple3) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule4 % int4)) ((((triple1) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((((triple3) -> (rule3 % int6)) ((((triple3) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule4 % int4)) ((((((triple2) -> (rule7 % int5))) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((triple4 ((((((((triple3) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((triple2 triple1) -> (rule4 % int6)) ((((((((triple3) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Bob is smart.
("Bob" "is" "smart" "+")
int6
((((triple2 ((triple2) -> (rule7 % int6))) -> (rule4 % int5)) ((((((((triple3) -> (rule3 % int4))) -> (rule7 % int6))) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((((triple3) -> (rule3 % int6)) triple1) -> (rule4 % int5)) ((((((((triple3) -> (rule3 % int6))) -> (rule7 % int4))) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((triple2 ((((triple3) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule4 % int4)) ((((((((triple3) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((((triple3) -> (rule3 % int6)) ((triple2) -> (rule7 % int5))) -> (rule4 % int4)) ((((((((triple3) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((((triple3) -> (rule3 % int6)) ((((triple3) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule4 % int4)) ((((((((triple3) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
Fiona is not furry.
Unknown
inv-rconc
[@1: Fiona is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "furry" "-")
Charlie is furry.
Unknown
rconc
[@1: Charlie is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "furry" "+")
Fiona is not rough.
Unknown
inv-rconc
[@2: Fiona is rough.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Fiona" "is" "rough" "-")
Harry is green.
Unknown
rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "green" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Bob is cold.[(triple1 OR ((triple2) -> rule7) OR ((((triple3) -> rule3)) -> rule7))] Bob is green.[(triple2 OR ((triple3) -> rule3))] Bob is red.[(triple3)] Bob is smart.[(triple4 OR ((triple2 triple1) -> rule4) OR ((triple2 ((triple2) -> rule7)) -> rule4) OR ((((triple3) -> rule3) triple1) -> rule4) OR ((((triple3) -> rule3) ((triple2) -> rule7)) -> rule4) OR ((triple2 ((((triple3) -> rule3)) -> rule7)) -> rule4) OR ((((triple3) -> rule3) ((((triple3) -> rule3)) -> rule7)) -> rule4))] Charlie is cold.[(triple5 OR ((triple6) -> rule7))] Charlie is green.[(triple6)] Charlie is rough.[(triple7 OR ((triple6 triple8) -> rule8) OR ((triple6 ((triple6 triple5) -> rule4)) -> rule8) OR ((triple6 ((triple6 ((triple6) -> rule7)) -> rule4)) -> rule8))] Charlie is smart.[(triple8 OR ((triple6 triple5) -> rule4) OR ((triple6 ((triple6) -> rule7)) -> rule4))] Charlie is white.[(triple9 OR ((triple5) -> rule5) OR ((((triple6) -> rule7)) -> rule5))] Fiona is cold.[(triple10 OR ((triple11) -> rule7))] Fiona is green.[(triple11)] Fiona is smart.[(triple12 OR ((triple11 triple10) -> rule4) OR ((triple11 ((triple11) -> rule7)) -> rule4))] Harry is cold.[(triple13)] Harry is furry.[(triple14)] Harry is smart.[(triple15)] @1: Bob is white.[(((triple1) -> rule5) OR ((((triple2) -> rule7)) -> rule5) OR ((((((triple3) -> rule3)) -> rule7)) -> rule5))] Fiona is white.[(((triple10) -> rule5) OR ((((triple11) -> rule7)) -> rule5))] Harry is rough.[(((triple15 triple14) -> rule1))] Harry is white.[(((triple13) -> rule5))] @2: Bob is furry.[(((((triple1) -> rule5) triple3) -> rule2) OR ((((((triple2) -> rule7)) -> rule5) triple3) -> rule2) OR ((((((((triple3) -> rule3)) -> rule7)) -> rule5) triple3) -> rule2))] @3: Bob is rough.[(((triple4 ((((triple1) -> rule5) triple3) -> rule2)) -> rule1) OR ((((triple2 triple1) -> rule4) ((((triple1) -> rule5) triple3) -> rule2)) -> rule1) OR ((((triple2 ((triple2) -> rule7)) -> rule4) ((((triple1) -> rule5) triple3) -> rule2)) -> rule1) OR ((((((triple3) -> rule3) triple1) -> rule4) ((((triple1) -> rule5) triple3) -> rule2)) -> rule1) OR ((((((triple3) -> rule3) ((triple2) -> rule7)) -> rule4) ((((triple1) -> rule5) triple3) -> rule2)) -> rule1) OR ((triple4 ((((((triple2) -> rule7)) -> rule5) triple3) -> rule2)) -> rule1) OR ((((triple2 triple1) -> rule4) ((((((triple2) -> rule7)) -> rule5) triple3) -> rule2)) -> rule1) OR ((((triple2 ((triple2) -> rule7)) -> rule4) ((((((triple2) -> rule7)) -> rule5) triple3) -> rule2)) -> rule1) OR ((((triple2 ((((triple3) -> rule3)) -> rule7)) -> rule4) ((((triple1) -> rule5) triple3) -> rule2)) -> rule1) OR ((((((triple3) -> rule3) triple1) -> rule4) ((((((triple2) -> rule7)) -> rule5) triple3) -> rule2)) -> rule1) OR ((((triple2 ((((triple3) -> rule3)) -> rule7)) -> rule4) ((((((triple2) -> rule7)) -> rule5) triple3) -> rule2)) -> rule1) OR ((((((triple3) -> rule3) ((triple2) -> rule7)) -> rule4) ((((((triple2) -> rule7)) -> rule5) triple3) -> rule2)) -> rule1) OR ((((((triple3) -> rule3) ((((triple3) -> rule3)) -> rule7)) -> rule4) ((((triple1) -> rule5) triple3) -> rule2)) -> rule1) OR ((((((triple3) -> rule3) ((((triple3) -> rule3)) -> rule7)) -> rule4) ((((((triple2) -> rule7)) -> rule5) triple3) -> rule2)) -> rule1) OR ((triple4 ((((((((triple3) -> rule3)) -> rule7)) -> rule5) triple3) -> rule2)) -> rule1) OR ((((triple2 triple1) -> rule4) ((((((((triple3) -> rule3)) -> rule7)) -> rule5) triple3) -> rule2)) -> rule1) OR ((((triple2 ((triple2) -> rule7)) -> rule4) ((((((((triple3) -> rule3)) -> rule7)) -> rule5) triple3) -> rule2)) -> rule1) OR ((((((triple3) -> rule3) triple1) -> rule4) ((((((((triple3) -> rule3)) -> rule7)) -> rule5) triple3) -> rule2)) -> rule1) OR ((((triple2 ((((triple3) -> rule3)) -> rule7)) -> rule4) ((((((((triple3) -> rule3)) -> rule7)) -> rule5) triple3) -> rule2)) -> rule1) OR ((((((triple3) -> rule3) ((triple2) -> rule7)) -> rule4) ((((((((triple3) -> rule3)) -> rule7)) -> rule5) triple3) -> rule2)) -> rule1) OR ((((((triple3) -> rule3) ((((triple3) -> rule3)) -> rule7)) -> rule4) ((((((((triple3) -> rule3)) -> rule7)) -> rule5) triple3) -> rule2)) -> rule1))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
((triple2) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((((triple3) -> (rule3 % int2))) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
triple2
((triple3) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
triple3
Bob is smart.
("Bob" "is" "smart" "+")
triple4
((triple2 triple1) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((triple2 ((triple2) -> (rule7 % int2))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((triple3) -> (rule3 % int2)) triple1) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((triple3) -> (rule3 % int3)) ((triple2) -> (rule7 % int2))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((triple2 ((((triple3) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((triple3) -> (rule3 % int3)) ((((triple3) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
((triple6) -> (rule7 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is rough.
("Charlie" "is" "rough" "+")
triple7
((triple6 triple8) -> (rule8 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((triple6 ((triple6 triple5) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
((triple6 ((triple6 ((triple6) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is smart.
("Charlie" "is" "smart" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
triple8
((triple6 triple5) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
((triple6 ((triple6) -> (rule7 % int2))) -> (rule4 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
triple9
((triple5) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
((((triple6) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
triple10
((triple11) -> (rule7 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
triple11
Fiona is smart.
("Fiona" "is" "smart" "+")
triple12
((triple11 triple10) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((triple11 ((triple11) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
triple13
Harry is furry.
("Harry" "is" "furry" "+")
triple14
Harry is smart.
("Harry" "is" "smart" "+")
triple15
Bob is white.
("Bob" "is" "white" "+")
((triple1) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
((((triple2) -> (rule7 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
((((((triple3) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
((triple10) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((((triple11) -> (rule7 % int2))) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
((triple15 triple14) -> (rule1 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
((triple13) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
((((triple1) -> (rule5 % int2)) triple3) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
((((((triple2) -> (rule7 % int3))) -> (rule5 % int2)) triple3) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
((((((((triple3) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule5 % int2)) triple3) -> (rule2 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
((triple4 ((((triple1) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
((((triple2 triple1) -> (rule4 % int4)) ((((triple1) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
((((triple2 ((triple2) -> (rule7 % int5))) -> (rule4 % int4)) ((((triple1) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((((triple3) -> (rule3 % int5)) triple1) -> (rule4 % int4)) ((((triple1) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((((triple3) -> (rule3 % int6)) ((triple2) -> (rule7 % int5))) -> (rule4 % int4)) ((((triple1) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((triple4 ((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
((((triple2 triple1) -> (rule4 % int5)) ((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
((((triple2 ((triple2) -> (rule7 % int5))) -> (rule4 % int4)) ((((((triple2) -> (rule7 % int5))) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
((((triple2 ((((triple3) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule4 % int4)) ((((triple1) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((((triple3) -> (rule3 % int6)) triple1) -> (rule4 % int5)) ((((((triple2) -> (rule7 % int4))) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((triple2 ((((triple3) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule4 % int4)) ((((((triple2) -> (rule7 % int5))) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((((triple3) -> (rule3 % int6)) ((triple2) -> (rule7 % int5))) -> (rule4 % int4)) ((((((triple2) -> (rule7 % int5))) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((((triple3) -> (rule3 % int6)) ((((triple3) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule4 % int4)) ((((triple1) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((((triple3) -> (rule3 % int6)) ((((triple3) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule4 % int4)) ((((((triple2) -> (rule7 % int5))) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((triple4 ((((((((triple3) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((triple2 triple1) -> (rule4 % int6)) ((((((((triple3) -> (rule3 % int5))) -> (rule7 % int4))) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
Bob is smart.
("Bob" "is" "smart" "+")
int6
((((triple2 ((triple2) -> (rule7 % int6))) -> (rule4 % int5)) ((((((((triple3) -> (rule3 % int4))) -> (rule7 % int6))) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
int6
((((((triple3) -> (rule3 % int6)) triple1) -> (rule4 % int5)) ((((((((triple3) -> (rule3 % int6))) -> (rule7 % int4))) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is cold.
("Bob" "is" "cold" "+")
int4
Bob is smart.
("Bob" "is" "smart" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((triple2 ((((triple3) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule4 % int4)) ((((((((triple3) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((((triple3) -> (rule3 % int6)) ((triple2) -> (rule7 % int5))) -> (rule4 % int4)) ((((((((triple3) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
((((((triple3) -> (rule3 % int6)) ((((triple3) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule4 % int4)) ((((((((triple3) -> (rule3 % int6))) -> (rule7 % int5))) -> (rule5 % int3)) triple3) -> (rule2 % int2))) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is white.
("Bob" "is" "white" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is cold.
("Bob" "is" "cold" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6