Bob is cold. Bob is rough. Bob is smart. Dave is kind. Dave is smart. Dave is white. Dave is young. Erin is kind. Erin is rough. Erin is round. Erin is smart. Fiona is kind. Fiona is rough. Fiona is white. Fiona is young. Cold, kind people are round. Round, rough people are smart. All round people are rough. If someone is young and kind then they are cold. All rough, kind people are round. All rough people are kind. If Dave is rough then Dave is smart. If Bob is smart then Bob is young.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Cold, kind people are round.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
Round, rough people are smart.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "smart" "+"))
All round people are rough.
((("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and kind then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
All rough, kind people are round.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
All rough people are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If Dave is rough then Dave is smart.
((("Dave" "is" "rough" "+")) -> ("Dave" "is" "smart" "+"))
If Bob is smart then Bob is young.
((("Bob" "is" "smart" "+")) -> ("Bob" "is" "young" "+"))
Erin is rough.
True
1
proof
[(triple9 OR ((triple10) -> rule3))]
("Erin" "is" "rough" "+")
triple9
((triple10) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is not round.
False
1
inv-proof
[(triple10 OR ((triple9 triple8) -> rule5) OR ((triple9 ((triple9) -> rule6)) -> rule5))]
("Erin" "is" "round" "-")
triple10
((triple9 triple8) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple9 ((triple9) -> (rule6 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Fiona is cold.
True
3
proof
[(((triple15 triple12) -> rule4) OR ((triple15 ((triple13) -> rule6)) -> rule4))]
("Fiona" "is" "cold" "+")
((triple15 triple12) -> (rule4 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((triple15 ((triple13) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Bob is not kind.
False
2
inv-proof
[(((triple2) -> rule6))]
("Bob" "is" "kind" "-")
((triple2) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Fiona is smart.
True
5
proof
[(((((triple13 triple12) -> rule5) triple13) -> rule2) OR ((((triple13 ((triple13) -> rule6)) -> rule5) triple13) -> rule2) OR ((((((triple15 triple12) -> rule4) triple12) -> rule1) triple13) -> rule2) OR ((((((triple15 triple12) -> rule4) ((triple13) -> rule6)) -> rule1) triple13) -> rule2) OR ((((((triple15 ((triple13) -> rule6)) -> rule4) triple12) -> rule1) triple13) -> rule2) OR ((((triple13 triple12) -> rule5) ((((((triple15 triple12) -> rule4) triple12) -> rule1)) -> rule3)) -> rule2) OR ((((((triple15 ((triple13) -> rule6)) -> rule4) ((triple13) -> rule6)) -> rule1) triple13) -> rule2) OR ((((triple13 ((triple13) -> rule6)) -> rule5) ((((((triple15 triple12) -> rule4) triple12) -> rule1)) -> rule3)) -> rule2) OR ((((((triple15 triple12) -> rule4) triple12) -> rule1) ((((((triple15 triple12) -> rule4) triple12) -> rule1)) -> rule3)) -> rule2) OR ((((((triple15 triple12) -> rule4) ((triple13) -> rule6)) -> rule1) ((((((triple15 triple12) -> rule4) triple12) -> rule1)) -> rule3)) -> rule2) OR ((((((triple15 ((triple13) -> rule6)) -> rule4) triple12) -> rule1) ((((((triple15 triple12) -> rule4) triple12) -> rule1)) -> rule3)) -> rule2) OR ((((((triple15 ((triple13) -> rule6)) -> rule4) ((triple13) -> rule6)) -> rule1) ((((((triple15 triple12) -> rule4) triple12) -> rule1)) -> rule3)) -> rule2))]
("Fiona" "is" "smart" "+")
((((triple13 triple12) -> (rule5 % int2)) triple13) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple13 ((triple13) -> (rule6 % int3))) -> (rule5 % int2)) triple13) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((((triple15 triple12) -> (rule4 % int3)) triple12) -> (rule1 % int2)) triple13) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((((triple15 triple12) -> (rule4 % int4)) ((triple13) -> (rule6 % int3))) -> (rule1 % int2)) triple13) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((((triple15 ((triple13) -> (rule6 % int4))) -> (rule4 % int3)) triple12) -> (rule1 % int2)) triple13) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((triple13 triple12) -> (rule5 % int4)) ((((((triple15 triple12) -> (rule4 % int3)) triple12) -> (rule1 % int4))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((triple15 ((triple13) -> (rule6 % int4))) -> (rule4 % int3)) ((triple13) -> (rule6 % int4))) -> (rule1 % int2)) triple13) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((triple13 ((triple13) -> (rule6 % int5))) -> (rule5 % int4)) ((((((triple15 triple12) -> (rule4 % int3)) triple12) -> (rule1 % int4))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((((((triple15 triple12) -> (rule4 % int4)) triple12) -> (rule1 % int3)) ((((((triple15 triple12) -> (rule4 % int4)) triple12) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((((triple15 triple12) -> (rule4 % int5)) ((triple13) -> (rule6 % int4))) -> (rule1 % int3)) ((((((triple15 triple12) -> (rule4 % int5)) triple12) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((((triple15 ((triple13) -> (rule6 % int5))) -> (rule4 % int4)) triple12) -> (rule1 % int3)) ((((((triple15 triple12) -> (rule4 % int4)) triple12) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((((((triple15 ((triple13) -> (rule6 % int5))) -> (rule4 % int4)) ((triple13) -> (rule6 % int5))) -> (rule1 % int3)) ((((((triple15 triple12) -> (rule4 % int4)) triple12) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
Fiona is not smart.
False
5
inv-proof
[(((((triple13 triple12) -> rule5) triple13) -> rule2) OR ((((triple13 ((triple13) -> rule6)) -> rule5) triple13) -> rule2) OR ((((((triple15 triple12) -> rule4) triple12) -> rule1) triple13) -> rule2) OR ((((((triple15 triple12) -> rule4) ((triple13) -> rule6)) -> rule1) triple13) -> rule2) OR ((((((triple15 ((triple13) -> rule6)) -> rule4) triple12) -> rule1) triple13) -> rule2) OR ((((triple13 triple12) -> rule5) ((((((triple15 triple12) -> rule4) triple12) -> rule1)) -> rule3)) -> rule2) OR ((((((triple15 ((triple13) -> rule6)) -> rule4) ((triple13) -> rule6)) -> rule1) triple13) -> rule2) OR ((((triple13 ((triple13) -> rule6)) -> rule5) ((((((triple15 triple12) -> rule4) triple12) -> rule1)) -> rule3)) -> rule2) OR ((((((triple15 triple12) -> rule4) triple12) -> rule1) ((((((triple15 triple12) -> rule4) triple12) -> rule1)) -> rule3)) -> rule2) OR ((((((triple15 triple12) -> rule4) ((triple13) -> rule6)) -> rule1) ((((((triple15 triple12) -> rule4) triple12) -> rule1)) -> rule3)) -> rule2) OR ((((((triple15 ((triple13) -> rule6)) -> rule4) triple12) -> rule1) ((((((triple15 triple12) -> rule4) triple12) -> rule1)) -> rule3)) -> rule2) OR ((((((triple15 ((triple13) -> rule6)) -> rule4) ((triple13) -> rule6)) -> rule1) ((((((triple15 triple12) -> rule4) triple12) -> rule1)) -> rule3)) -> rule2))]
("Fiona" "is" "smart" "-")
((((triple13 triple12) -> (rule5 % int2)) triple13) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple13 ((triple13) -> (rule6 % int3))) -> (rule5 % int2)) triple13) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((((triple15 triple12) -> (rule4 % int3)) triple12) -> (rule1 % int2)) triple13) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((((triple15 triple12) -> (rule4 % int4)) ((triple13) -> (rule6 % int3))) -> (rule1 % int2)) triple13) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((((triple15 ((triple13) -> (rule6 % int4))) -> (rule4 % int3)) triple12) -> (rule1 % int2)) triple13) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((triple13 triple12) -> (rule5 % int4)) ((((((triple15 triple12) -> (rule4 % int3)) triple12) -> (rule1 % int4))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((triple15 ((triple13) -> (rule6 % int4))) -> (rule4 % int3)) ((triple13) -> (rule6 % int4))) -> (rule1 % int2)) triple13) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((triple13 ((triple13) -> (rule6 % int5))) -> (rule5 % int4)) ((((((triple15 triple12) -> (rule4 % int3)) triple12) -> (rule1 % int4))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((((((triple15 triple12) -> (rule4 % int4)) triple12) -> (rule1 % int3)) ((((((triple15 triple12) -> (rule4 % int4)) triple12) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((((triple15 triple12) -> (rule4 % int5)) ((triple13) -> (rule6 % int4))) -> (rule1 % int3)) ((((((triple15 triple12) -> (rule4 % int5)) triple12) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((((triple15 ((triple13) -> (rule6 % int5))) -> (rule4 % int4)) triple12) -> (rule1 % int3)) ((((((triple15 triple12) -> (rule4 % int4)) triple12) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((((((triple15 ((triple13) -> (rule6 % int5))) -> (rule4 % int4)) ((triple13) -> (rule6 % int5))) -> (rule1 % int3)) ((((((triple15 triple12) -> (rule4 % int4)) triple12) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
Erin is not cold.
Unknown
inv-rconc
[@1: Erin is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Erin" "is" "cold" "-")
Bob is white.
Unknown
random
[@0: Bob is white.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "white" "+")
Erin is not young.
Unknown
inv-random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "-")
Erin is white.
Unknown
random
[@0: Erin is white.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "white" "+")
@0: Bob is cold.[(triple1 OR ((((triple3) -> rule8) ((triple2) -> rule6)) -> rule4) OR ((((((((triple2 ((triple2) -> rule6)) -> rule5) triple2) -> rule2)) -> rule8) ((triple2) -> rule6)) -> rule4))] Bob is rough.[(triple2)] Bob is smart.[(triple3 OR ((((triple1 ((triple2) -> rule6)) -> rule1) triple2) -> rule2) OR ((((triple2 ((triple2) -> rule6)) -> rule5) triple2) -> rule2))] Dave is kind.[(triple4)] Dave is smart.[(triple5 OR ((((((((triple7 triple4) -> rule4) triple4) -> rule1)) -> rule3)) -> rule7) OR ((((((triple7 triple4) -> rule4) triple4) -> rule1) ((((((triple7 triple4) -> rule4) triple4) -> rule1)) -> rule3)) -> rule2))] Dave is white.[(triple6)] Dave is young.[(triple7)] Erin is kind.[(triple8 OR ((triple9) -> rule6) OR ((((triple10) -> rule3)) -> rule6))] Erin is rough.[(triple9 OR ((triple10) -> rule3))] Erin is round.[(triple10 OR ((triple9 triple8) -> rule5) OR ((triple9 ((triple9) -> rule6)) -> rule5))] Erin is smart.[(triple11 OR ((triple10 triple9) -> rule2) OR ((triple10 ((triple10) -> rule3)) -> rule2) OR ((((triple9 triple8) -> rule5) triple9) -> rule2) OR ((((triple9 triple8) -> rule5) ((triple10) -> rule3)) -> rule2) OR ((((triple9 ((triple9) -> rule6)) -> rule5) triple9) -> rule2) OR ((((triple9 ((triple9) -> rule6)) -> rule5) ((triple10) -> rule3)) -> rule2))] Fiona is kind.[(triple12 OR ((triple13) -> rule6))] Fiona is rough.[(triple13 OR ((((((triple15 triple12) -> rule4) triple12) -> rule1)) -> rule3))] Fiona is white.[(triple14)] Fiona is young.[(triple15)] @1: Bob is kind.[(((triple2) -> rule6))] Bob is young.[(((triple3) -> rule8) OR ((((((triple1 ((triple2) -> rule6)) -> rule1) triple2) -> rule2)) -> rule8) OR ((((((triple2 ((triple2) -> rule6)) -> rule5) triple2) -> rule2)) -> rule8))] Dave is cold.[(((triple7 triple4) -> rule4))] Fiona is cold.[(((triple15 triple12) -> rule4) OR ((triple15 ((triple13) -> rule6)) -> rule4))] Fiona is round.[(((triple13 triple12) -> rule5) OR ((triple13 ((triple13) -> rule6)) -> rule5) OR ((((triple15 triple12) -> rule4) triple12) -> rule1) OR ((((triple15 triple12) -> rule4) ((triple13) -> rule6)) -> rule1) OR ((((triple15 ((triple13) -> rule6)) -> rule4) triple12) -> rule1) OR ((((triple15 ((triple13) -> rule6)) -> rule4) ((triple13) -> rule6)) -> rule1))] @2: Bob is round.[(((triple1 ((triple2) -> rule6)) -> rule1) OR ((triple2 ((triple2) -> rule6)) -> rule5) OR ((((((triple3) -> rule8) ((triple2) -> rule6)) -> rule4) ((triple2) -> rule6)) -> rule1))] Dave is round.[(((((triple7 triple4) -> rule4) triple4) -> rule1))] Fiona is smart.[(((((triple13 triple12) -> rule5) triple13) -> rule2) OR ((((triple13 ((triple13) -> rule6)) -> rule5) triple13) -> rule2) OR ((((((triple15 triple12) -> rule4) triple12) -> rule1) triple13) -> rule2) OR ((((((triple15 triple12) -> rule4) ((triple13) -> rule6)) -> rule1) triple13) -> rule2) OR ((((((triple15 ((triple13) -> rule6)) -> rule4) triple12) -> rule1) triple13) -> rule2) OR ((((triple13 triple12) -> rule5) ((((((triple15 triple12) -> rule4) triple12) -> rule1)) -> rule3)) -> rule2) OR ((((((triple15 ((triple13) -> rule6)) -> rule4) ((triple13) -> rule6)) -> rule1) triple13) -> rule2) OR ((((triple13 ((triple13) -> rule6)) -> rule5) ((((((triple15 triple12) -> rule4) triple12) -> rule1)) -> rule3)) -> rule2) OR ((((((triple15 triple12) -> rule4) triple12) -> rule1) ((((((triple15 triple12) -> rule4) triple12) -> rule1)) -> rule3)) -> rule2) OR ((((((triple15 triple12) -> rule4) ((triple13) -> rule6)) -> rule1) ((((((triple15 triple12) -> rule4) triple12) -> rule1)) -> rule3)) -> rule2) OR ((((((triple15 ((triple13) -> rule6)) -> rule4) triple12) -> rule1) ((((((triple15 triple12) -> rule4) triple12) -> rule1)) -> rule3)) -> rule2) OR ((((((triple15 ((triple13) -> rule6)) -> rule4) ((triple13) -> rule6)) -> rule1) ((((((triple15 triple12) -> rule4) triple12) -> rule1)) -> rule3)) -> rule2))] @3: Dave is rough.[(((((((triple7 triple4) -> rule4) triple4) -> rule1)) -> rule3))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
((((triple3) -> (rule8 % int3)) ((triple2) -> (rule6 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((((((((triple2 ((triple2) -> (rule6 % int5))) -> (rule5 % int4)) triple2) -> (rule2 % int3))) -> (rule8 % int2)) ((triple2) -> (rule6 % int5))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is smart.
("Bob" "is" "smart" "+")
triple3
((((triple1 ((triple2) -> (rule6 % int3))) -> (rule1 % int2)) triple2) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((triple2 ((triple2) -> (rule6 % int3))) -> (rule5 % int2)) triple2) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is smart.
("Dave" "is" "smart" "+")
triple5
((((((((triple7 triple4) -> (rule4 % int4)) triple4) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
((((((triple7 triple4) -> (rule4 % int4)) triple4) -> (rule1 % int3)) ((((((triple7 triple4) -> (rule4 % int4)) triple4) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple7
Erin is kind.
("Erin" "is" "kind" "+")
triple8
((triple9) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((((triple10) -> (rule3 % int2))) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
triple9
((triple10) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
triple10
((triple9 triple8) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((triple9 ((triple9) -> (rule6 % int2))) -> (rule5 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
triple11
((triple10 triple9) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
((triple10 ((triple10) -> (rule3 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((triple9 triple8) -> (rule5 % int2)) triple9) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((triple9 triple8) -> (rule5 % int3)) ((triple10) -> (rule3 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((triple9 ((triple9) -> (rule6 % int3))) -> (rule5 % int2)) triple9) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((triple9 ((triple9) -> (rule6 % int4))) -> (rule5 % int3)) ((triple10) -> (rule3 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
triple12
((triple13) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple13
((((((triple15 triple12) -> (rule4 % int3)) triple12) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
triple14
Fiona is young.
("Fiona" "is" "young" "+")
triple15
Bob is kind.
("Bob" "is" "kind" "+")
((triple2) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
((triple3) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((((((triple1 ((triple2) -> (rule6 % int4))) -> (rule1 % int3)) triple2) -> (rule2 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((triple2 ((triple2) -> (rule6 % int4))) -> (rule5 % int3)) triple2) -> (rule2 % int2))) -> (rule8 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
((triple7 triple4) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple15 triple12) -> (rule4 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((triple15 ((triple13) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
((triple13 triple12) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((triple13 ((triple13) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((triple15 triple12) -> (rule4 % int2)) triple12) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((triple15 triple12) -> (rule4 % int3)) ((triple13) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((triple15 ((triple13) -> (rule6 % int3))) -> (rule4 % int2)) triple12) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((triple15 ((triple13) -> (rule6 % int3))) -> (rule4 % int2)) ((triple13) -> (rule6 % int3))) -> (rule1 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
((triple1 ((triple2) -> (rule6 % int2))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((triple2 ((triple2) -> (rule6 % int2))) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((((triple3) -> (rule8 % int4)) ((triple2) -> (rule6 % int3))) -> (rule4 % int2)) ((triple2) -> (rule6 % int3))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Dave is round.
("Dave" "is" "round" "+")
((((triple7 triple4) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
((((triple13 triple12) -> (rule5 % int2)) triple13) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple13 ((triple13) -> (rule6 % int3))) -> (rule5 % int2)) triple13) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((((triple15 triple12) -> (rule4 % int3)) triple12) -> (rule1 % int2)) triple13) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((((triple15 triple12) -> (rule4 % int4)) ((triple13) -> (rule6 % int3))) -> (rule1 % int2)) triple13) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((((triple15 ((triple13) -> (rule6 % int4))) -> (rule4 % int3)) triple12) -> (rule1 % int2)) triple13) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((triple13 triple12) -> (rule5 % int4)) ((((((triple15 triple12) -> (rule4 % int3)) triple12) -> (rule1 % int4))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((triple15 ((triple13) -> (rule6 % int4))) -> (rule4 % int3)) ((triple13) -> (rule6 % int4))) -> (rule1 % int2)) triple13) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((triple13 ((triple13) -> (rule6 % int5))) -> (rule5 % int4)) ((((((triple15 triple12) -> (rule4 % int3)) triple12) -> (rule1 % int4))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((((((triple15 triple12) -> (rule4 % int4)) triple12) -> (rule1 % int3)) ((((((triple15 triple12) -> (rule4 % int4)) triple12) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((((triple15 triple12) -> (rule4 % int5)) ((triple13) -> (rule6 % int4))) -> (rule1 % int3)) ((((((triple15 triple12) -> (rule4 % int5)) triple12) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((((triple15 ((triple13) -> (rule6 % int5))) -> (rule4 % int4)) triple12) -> (rule1 % int3)) ((((((triple15 triple12) -> (rule4 % int4)) triple12) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
((((((triple15 ((triple13) -> (rule6 % int5))) -> (rule4 % int4)) ((triple13) -> (rule6 % int5))) -> (rule1 % int3)) ((((((triple15 triple12) -> (rule4 % int4)) triple12) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
Dave is rough.
("Dave" "is" "rough" "+")
((((((triple7 triple4) -> (rule4 % int3)) triple4) -> (rule1 % int2))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3