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