Charlie is furry. Charlie is red. Charlie is rough. Charlie is smart. Dave is cold. Dave is furry. Dave is quiet. Dave is rough. Dave is smart. Dave is young. Fiona is cold. Fiona is red. Fiona is rough. Fiona is young. Harry is quiet. Harry is smart. If Charlie is furry then Charlie is quiet. All red things are furry. All cold things are rough. All red things are furry. If Dave is rough and Dave is young then Dave is red. If Fiona is smart then Fiona is quiet. If something is red and young then it is furry. All rough, quiet things are young.
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is young.
("Dave" "is" "young" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If Charlie is furry then Charlie is quiet.
((("Charlie" "is" "furry" "+")) -> ("Charlie" "is" "quiet" "+"))
All red things are furry.
((("something" "is" "red" "+")) -> ("something" "is" "furry" "+"))
All cold things are rough.
((("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
All red things are furry.
((("something" "is" "red" "+")) -> ("something" "is" "furry" "+"))
If Dave is rough and Dave is young then Dave is red.
((("Dave" "is" "rough" "+") ("Dave" "is" "young" "+")) -> ("Dave" "is" "red" "+"))
If Fiona is smart then Fiona is quiet.
((("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "quiet" "+"))
If something is red and young then it is furry.
((("something" "is" "red" "+") ("something" "is" "young" "+")) -> ("something" "is" "furry" "+"))
All rough, quiet things are young.
((("something" "is" "rough" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
Harry is quiet.
True
1
proof
[(triple15)]
("Harry" "is" "quiet" "+")
triple15
Fiona is not rough.
False
1
inv-proof
[(triple13 OR ((triple11) -> rule3))]
("Fiona" "is" "rough" "-")
triple13
((triple11) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
True
2
proof
[(((triple12) -> rule2) OR ((triple12) -> rule4) OR ((triple12 triple14) -> rule7))]
("Fiona" "is" "furry" "+")
((triple12) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple12) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple12 triple14) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Charlie is not quiet.
False
2
inv-proof
[(((triple1) -> rule1) OR ((((triple2) -> rule2)) -> rule1) OR ((((triple2) -> rule4)) -> rule1))]
("Charlie" "is" "quiet" "-")
((triple1) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((triple2) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Harry is not furry.
Unknown
inv-rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "furry" "-")
Fiona is quiet.
Unknown
rconc
[@1: Fiona is quiet.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "quiet" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Harry is red.
Unknown
random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "+")
@0: Charlie is furry.[(triple1 OR ((triple2) -> rule2) OR ((triple2) -> rule4))] Charlie is red.[(triple2)] Charlie is rough.[(triple3)] Charlie is smart.[(triple4)] Dave is cold.[(triple5)] Dave is furry.[(triple6 OR ((((triple8 triple10) -> rule5)) -> rule2) OR ((((triple8 triple10) -> rule5)) -> rule4) OR ((((triple8 triple10) -> rule5) triple10) -> rule7) OR ((((triple8 triple10) -> rule5) ((triple8 triple7) -> rule8)) -> rule7) OR ((((triple8 ((triple8 triple7) -> rule8)) -> rule5)) -> rule2) OR ((((triple8 ((triple8 triple7) -> rule8)) -> rule5)) -> rule4) OR ((((((triple5) -> rule3) triple10) -> rule5)) -> rule2) OR ((((((triple5) -> rule3) triple10) -> rule5)) -> rule4) OR ((((triple8 ((triple8 triple7) -> rule8)) -> rule5) triple10) -> rule7) OR ((((((triple5) -> rule3) triple10) -> rule5) triple10) -> rule7) OR ((((((triple5) -> rule3) ((triple8 triple7) -> rule8)) -> rule5)) -> rule2) OR ((((((triple5) -> rule3) ((triple8 triple7) -> rule8)) -> rule5)) -> rule4) OR ((((triple8 triple10) -> rule5) ((((triple5) -> rule3) triple7) -> rule8)) -> rule7) OR ((((triple8 ((triple8 triple7) -> rule8)) -> rule5) ((triple8 triple7) -> rule8)) -> rule7) OR ((((((triple5) -> rule3) triple10) -> rule5) ((triple8 triple7) -> rule8)) -> rule7) OR ((((((triple5) -> rule3) ((triple8 triple7) -> rule8)) -> rule5) triple10) -> rule7) OR ((((triple8 ((triple8 triple7) -> rule8)) -> rule5) ((((triple5) -> rule3) triple7) -> rule8)) -> rule7) OR ((((((triple5) -> rule3) triple10) -> rule5) ((((triple5) -> rule3) triple7) -> rule8)) -> rule7) OR ((((((triple5) -> rule3) ((triple8 triple7) -> rule8)) -> rule5) ((triple8 triple7) -> rule8)) -> rule7) OR ((((((triple5) -> rule3) ((triple8 triple7) -> rule8)) -> rule5) ((((triple5) -> rule3) triple7) -> rule8)) -> rule7) OR ((((triple8 ((((triple5) -> rule3) triple7) -> rule8)) -> rule5)) -> rule2) OR ((((triple8 ((((triple5) -> rule3) triple7) -> rule8)) -> rule5)) -> rule4) OR ((((triple8 ((((triple5) -> rule3) triple7) -> rule8)) -> rule5) triple10) -> rule7) OR ((((((triple5) -> rule3) ((((triple5) -> rule3) triple7) -> rule8)) -> rule5)) -> rule2) OR ((((((triple5) -> rule3) ((((triple5) -> rule3) triple7) -> rule8)) -> rule5)) -> rule4) OR ((((triple8 ((((triple5) -> rule3) triple7) -> rule8)) -> rule5) ((triple8 triple7) -> rule8)) -> rule7) OR ((((((triple5) -> rule3) ((((triple5) -> rule3) triple7) -> rule8)) -> rule5) triple10) -> rule7) OR ((((triple8 ((((triple5) -> rule3) triple7) -> rule8)) -> rule5) ((((triple5) -> rule3) triple7) -> rule8)) -> rule7) OR ((((((triple5) -> rule3) ((((triple5) -> rule3) triple7) -> rule8)) -> rule5) ((triple8 triple7) -> rule8)) -> rule7) OR ((((((triple5) -> rule3) ((((triple5) -> rule3) triple7) -> rule8)) -> rule5) ((((triple5) -> rule3) triple7) -> rule8)) -> rule7))] Dave is quiet.[(triple7)] Dave is rough.[(triple8 OR ((triple5) -> rule3))] Dave is smart.[(triple9)] Dave is young.[(triple10 OR ((triple8 triple7) -> rule8) OR ((((triple5) -> rule3) triple7) -> rule8))] Fiona is cold.[(triple11)] Fiona is red.[(triple12)] Fiona is rough.[(triple13 OR ((triple11) -> rule3))] Fiona is young.[(triple14)] Harry is quiet.[(triple15)] Harry is smart.[(triple16)] @1: Charlie is quiet.[(((triple1) -> rule1) OR ((((triple2) -> rule2)) -> rule1) OR ((((triple2) -> rule4)) -> rule1))] Dave is red.[(((triple8 triple10) -> rule5) OR ((triple8 ((triple8 triple7) -> rule8)) -> rule5) OR ((((triple5) -> rule3) triple10) -> rule5) OR ((((triple5) -> rule3) ((triple8 triple7) -> rule8)) -> rule5) OR ((triple8 ((((triple5) -> rule3) triple7) -> rule8)) -> rule5) OR ((((triple5) -> rule3) ((((triple5) -> rule3) triple7) -> rule8)) -> rule5))] Fiona is furry.[(((triple12) -> rule2) OR ((triple12) -> rule4) OR ((triple12 triple14) -> rule7))] @2: Charlie is young.[(((triple3 ((triple1) -> rule1)) -> rule8) OR ((triple3 ((((triple2) -> rule2)) -> rule1)) -> rule8) OR ((triple3 ((((triple2) -> rule4)) -> rule1)) -> rule8))]
Charlie is furry.
("Charlie" "is" "furry" "+")
triple1
((triple2) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((triple2) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Charlie is smart.
("Charlie" "is" "smart" "+")
triple4
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is furry.
("Dave" "is" "furry" "+")
triple6
((((triple8 triple10) -> (rule5 % int2))) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((((triple8 triple10) -> (rule5 % int2))) -> (rule4 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((((triple8 triple10) -> (rule5 % int2)) triple10) -> (rule7 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
((((triple8 triple10) -> (rule5 % int3)) ((triple8 triple7) -> (rule8 % int2))) -> (rule7 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
((((triple8 ((triple8 triple7) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((triple8 ((triple8 triple7) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((((triple5) -> (rule3 % int3)) triple10) -> (rule5 % int2))) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((((triple5) -> (rule3 % int3)) triple10) -> (rule5 % int2))) -> (rule4 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((triple8 ((triple8 triple7) -> (rule8 % int3))) -> (rule5 % int2)) triple10) -> (rule7 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((((triple5) -> (rule3 % int3)) triple10) -> (rule5 % int2)) triple10) -> (rule7 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((((triple5) -> (rule3 % int4)) ((triple8 triple7) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((triple5) -> (rule3 % int4)) ((triple8 triple7) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((triple8 triple10) -> (rule5 % int4)) ((((triple5) -> (rule3 % int3)) triple7) -> (rule8 % int2))) -> (rule7 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is red.
("Dave" "is" "red" "+")
int4
((((triple8 ((triple8 triple7) -> (rule8 % int3))) -> (rule5 % int2)) ((triple8 triple7) -> (rule8 % int3))) -> (rule7 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
((((((triple5) -> (rule3 % int4)) triple10) -> (rule5 % int3)) ((triple8 triple7) -> (rule8 % int2))) -> (rule7 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((triple5) -> (rule3 % int4)) ((triple8 triple7) -> (rule8 % int3))) -> (rule5 % int2)) triple10) -> (rule7 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((triple8 ((triple8 triple7) -> (rule8 % int4))) -> (rule5 % int3)) ((((triple5) -> (rule3 % int2)) triple7) -> (rule8 % int4))) -> (rule7 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
int4
((((((triple5) -> (rule3 % int4)) triple10) -> (rule5 % int3)) ((((triple5) -> (rule3 % int4)) triple7) -> (rule8 % int2))) -> (rule7 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((triple5) -> (rule3 % int4)) ((triple8 triple7) -> (rule8 % int3))) -> (rule5 % int2)) ((triple8 triple7) -> (rule8 % int3))) -> (rule7 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((triple5) -> (rule3 % int4)) ((triple8 triple7) -> (rule8 % int3))) -> (rule5 % int2)) ((((triple5) -> (rule3 % int4)) triple7) -> (rule8 % int3))) -> (rule7 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((triple8 ((((triple5) -> (rule3 % int4)) triple7) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((triple8 ((((triple5) -> (rule3 % int4)) triple7) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((triple8 ((((triple5) -> (rule3 % int4)) triple7) -> (rule8 % int3))) -> (rule5 % int2)) triple10) -> (rule7 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((triple5) -> (rule3 % int4)) ((((triple5) -> (rule3 % int4)) triple7) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((triple5) -> (rule3 % int4)) ((((triple5) -> (rule3 % int4)) triple7) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((triple8 ((((triple5) -> (rule3 % int4)) triple7) -> (rule8 % int3))) -> (rule5 % int2)) ((triple8 triple7) -> (rule8 % int3))) -> (rule7 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((triple5) -> (rule3 % int4)) ((((triple5) -> (rule3 % int4)) triple7) -> (rule8 % int3))) -> (rule5 % int2)) triple10) -> (rule7 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((triple8 ((((triple5) -> (rule3 % int4)) triple7) -> (rule8 % int3))) -> (rule5 % int2)) ((((triple5) -> (rule3 % int4)) triple7) -> (rule8 % int3))) -> (rule7 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((triple5) -> (rule3 % int4)) ((((triple5) -> (rule3 % int4)) triple7) -> (rule8 % int3))) -> (rule5 % int2)) ((triple8 triple7) -> (rule8 % int3))) -> (rule7 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
((((((triple5) -> (rule3 % int4)) ((((triple5) -> (rule3 % int4)) triple7) -> (rule8 % int3))) -> (rule5 % int2)) ((((triple5) -> (rule3 % int4)) triple7) -> (rule8 % int3))) -> (rule7 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple8
((triple5) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
triple9
Dave is young.
("Dave" "is" "young" "+")
triple10
((triple8 triple7) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
((((triple5) -> (rule3 % int2)) triple7) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
triple11
Fiona is red.
("Fiona" "is" "red" "+")
triple12
Fiona is rough.
("Fiona" "is" "rough" "+")
triple13
((triple11) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple14
Harry is quiet.
("Harry" "is" "quiet" "+")
triple15
Harry is smart.
("Harry" "is" "smart" "+")
triple16
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple1) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((triple2) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
((triple8 triple10) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
((triple8 ((triple8 triple7) -> (rule8 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
((((triple5) -> (rule3 % int2)) triple10) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((((triple5) -> (rule3 % int3)) ((triple8 triple7) -> (rule8 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((triple8 ((((triple5) -> (rule3 % int3)) triple7) -> (rule8 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
((((triple5) -> (rule3 % int3)) ((((triple5) -> (rule3 % int3)) triple7) -> (rule8 % int2))) -> (rule5 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple12) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple12) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple12 triple14) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple3 ((triple1) -> (rule1 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((triple3 ((((triple2) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((triple3 ((((triple2) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3