Charlie is big. Charlie is cold. Charlie is kind. Charlie is red. Charlie is rough. Charlie is round. Charlie is not young. Dave is kind. Dave is rough. Fiona is cold. Fiona is young. Gary is red. If someone is kind and big then they are round. If someone is cold and kind then they are round. Red people are kind. If Gary is cold then Gary is big. If Gary is round and Gary is not young then Gary is not rough. If someone is cold then they are red. All round people are rough. If someone is round and rough then they are big.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is not young.
("Charlie" "is" "young" "-")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is red.
("Gary" "is" "red" "+")
If someone is kind and big then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and kind then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
Red people are kind.
((("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If Gary is cold then Gary is big.
((("Gary" "is" "cold" "+")) -> ("Gary" "is" "big" "+"))
If Gary is round and Gary is not young then Gary is not rough.
((("Gary" "is" "round" "+") ("Gary" "is" "young" "~")) -> ("Gary" "is" "rough" "-"))
If someone is cold then they are red.
((("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
All round people are rough.
((("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and rough then they are big.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
Fiona is cold.
True
1
proof
[(triple10)]
("Fiona" "is" "cold" "+")
triple10
Charlie is not rough.
False
1
inv-proof
[(triple5 OR ((triple6) -> rule7) OR ((((triple2 triple3) -> rule2)) -> rule7) OR ((((triple3 triple1) -> rule1)) -> rule7) OR ((((triple2 ((triple4) -> rule3)) -> rule2)) -> rule7) OR ((((((triple4) -> rule3) triple1) -> rule1)) -> rule7) OR ((((triple2 ((((triple2) -> rule6)) -> rule3)) -> rule2)) -> rule7) OR ((((((((triple2) -> rule6)) -> rule3) triple1) -> rule1)) -> rule7))]
("Charlie" "is" "rough" "-")
triple5
((triple6) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((((triple2 triple3) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple3 triple1) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple2 ((triple4) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((triple4) -> (rule3 % int3)) triple1) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple2 ((((triple2) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((((((triple2) -> (rule6 % int4))) -> (rule3 % int3)) triple1) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Gary is kind.
True
2
proof
[(((triple12) -> rule3))]
("Gary" "is" "kind" "+")
((triple12) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Fiona is not red.
False
2
inv-proof
[(((triple10) -> rule6))]
("Fiona" "is" "red" "-")
((triple10) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
True
3
proof
[(((((triple10) -> rule6)) -> rule3))]
("Fiona" "is" "kind" "+")
((((triple10) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is not kind.
False
3
inv-proof
[(((((triple10) -> rule6)) -> rule3))]
("Fiona" "is" "kind" "-")
((((triple10) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is round.
True
5
proof
[(((triple10 ((((triple10) -> rule6)) -> rule3)) -> rule2))]
("Fiona" "is" "round" "+")
((triple10 ((((triple10) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is not round.
False
5
inv-proof
[(((triple10 ((((triple10) -> rule6)) -> rule3)) -> rule2))]
("Fiona" "is" "round" "-")
((triple10 ((((triple10) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is rough.
True
6
proof
[(((((triple10 ((((triple10) -> rule6)) -> rule3)) -> rule2)) -> rule7))]
("Fiona" "is" "rough" "+")
((((triple10 ((((triple10) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is not rough.
False
6
inv-proof
[(((((triple10 ((((triple10) -> rule6)) -> rule3)) -> rule2)) -> rule7))]
("Fiona" "is" "rough" "-")
((((triple10 ((((triple10) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is big.
True
12
proof
[(((((triple10 ((((triple10) -> rule6)) -> rule3)) -> rule2) ((((triple10 ((((triple10) -> rule6)) -> rule3)) -> rule2)) -> rule7)) -> rule8))]
("Fiona" "is" "big" "+")
((((triple10 ((((triple10) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule2 % int3)) ((((triple10 ((((triple10) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
Fiona is not big.
False
12
inv-proof
[(((((triple10 ((((triple10) -> rule6)) -> rule3)) -> rule2) ((((triple10 ((((triple10) -> rule6)) -> rule3)) -> rule2)) -> rule7)) -> rule8))]
("Fiona" "is" "big" "-")
((((triple10 ((((triple10) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule2 % int3)) ((((triple10 ((((triple10) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
Gary is not round.
Unknown
inv-rconc
[@3: Gary is round.[CWA. Example of deepest failure = (rule1 <- rule8 <- rule2 <- FAIL)]]
("Gary" "is" "round" "-")
Dave is big.
Unknown
rconc
[@2: Dave is big.[CWA. Example of deepest failure = (rule8 <- rule1 <- FAIL)]]
("Dave" "is" "big" "+")
Gary is not big.
Unknown
inv-rconc
[@3: Gary is big.[CWA. Example of deepest failure = (rule8 <- rule1 <- rule4 <- FAIL)]]
("Gary" "is" "big" "-")
Dave is red.
Unknown
rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Dave" "is" "red" "+")
Dave is not round.
Unknown
inv-rconc
[@3: Dave is round.[CWA. Example of deepest failure = (rule1 <- rule8 <- rule2 <- FAIL)]]
("Dave" "is" "round" "-")
Gary is rough.
Unknown
rconc
[@3: Gary is rough.[CWA. Example of deepest failure = (rule7 <- rule1 <- rule4 <- FAIL)]]
("Gary" "is" "rough" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
Gary is not young.
Unknown
inv-random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
@0: Charlie is big.[(triple1 OR ((triple6 triple5) -> rule8) OR ((triple6 ((triple6) -> rule7)) -> rule8) OR ((((triple2 triple3) -> rule2) triple5) -> rule8) OR ((((triple2 triple3) -> rule2) ((triple6) -> rule7)) -> rule8) OR ((triple6 ((((triple2 triple3) -> rule2)) -> rule7)) -> rule8) OR ((((triple2 ((triple4) -> rule3)) -> rule2) triple5) -> rule8) OR ((((triple2 triple3) -> rule2) ((((triple2 triple3) -> rule2)) -> rule7)) -> rule8) OR ((((triple2 ((triple4) -> rule3)) -> rule2) ((triple6) -> rule7)) -> rule8) OR ((((triple2 ((triple4) -> rule3)) -> rule2) ((((triple2 triple3) -> rule2)) -> rule7)) -> rule8) OR ((triple6 ((((triple2 ((triple4) -> rule3)) -> rule2)) -> rule7)) -> rule8) OR ((((triple2 ((((triple2) -> rule6)) -> rule3)) -> rule2) triple5) -> rule8) OR ((((triple2 triple3) -> rule2) ((((triple2 ((triple4) -> rule3)) -> rule2)) -> rule7)) -> rule8) OR ((((triple2 ((((triple2) -> rule6)) -> rule3)) -> rule2) ((triple6) -> rule7)) -> rule8) OR ((((triple2 ((triple4) -> rule3)) -> rule2) ((((triple2 ((triple4) -> rule3)) -> rule2)) -> rule7)) -> rule8) OR ((((triple2 ((((triple2) -> rule6)) -> rule3)) -> rule2) ((((triple2 triple3) -> rule2)) -> rule7)) -> rule8) OR ((((triple2 ((((triple2) -> rule6)) -> rule3)) -> rule2) ((((triple2 ((triple4) -> rule3)) -> rule2)) -> rule7)) -> rule8) OR ((triple6 ((((triple2 ((((triple2) -> rule6)) -> rule3)) -> rule2)) -> rule7)) -> rule8) OR ((((triple2 triple3) -> rule2) ((((triple2 ((((triple2) -> rule6)) -> rule3)) -> rule2)) -> rule7)) -> rule8) OR ((((triple2 ((triple4) -> rule3)) -> rule2) ((((triple2 ((((triple2) -> rule6)) -> rule3)) -> rule2)) -> rule7)) -> rule8) OR ((((triple2 ((((triple2) -> rule6)) -> rule3)) -> rule2) ((((triple2 ((((triple2) -> rule6)) -> rule3)) -> rule2)) -> rule7)) -> rule8))] Charlie is cold.[(triple2)] Charlie is kind.[(triple3 OR ((triple4) -> rule3) OR ((((triple2) -> rule6)) -> rule3))] Charlie is not young.[(triple7)] Charlie is red.[(triple4 OR ((triple2) -> rule6))] Charlie is rough.[(triple5 OR ((triple6) -> rule7) OR ((((triple2 triple3) -> rule2)) -> rule7) OR ((((triple3 triple1) -> rule1)) -> rule7) OR ((((triple2 ((triple4) -> rule3)) -> rule2)) -> rule7) OR ((((((triple4) -> rule3) triple1) -> rule1)) -> rule7) OR ((((triple2 ((((triple2) -> rule6)) -> rule3)) -> rule2)) -> rule7) OR ((((((((triple2) -> rule6)) -> rule3) triple1) -> rule1)) -> rule7))] Charlie is round.[(triple6 OR ((triple2 triple3) -> rule2) OR ((triple3 triple1) -> rule1) OR ((triple2 ((triple4) -> rule3)) -> rule2) OR ((((triple4) -> rule3) triple1) -> rule1) OR ((triple2 ((((triple2) -> rule6)) -> rule3)) -> rule2) OR ((((((triple2) -> rule6)) -> rule3) triple1) -> rule1))] Dave is kind.[(triple8)] Dave is rough.[(triple9)] Fiona is cold.[(triple10)] Fiona is young.[(triple11)] Gary is red.[(triple12)] @1: Fiona is red.[(((triple10) -> rule6))] Gary is kind.[(((triple12) -> rule3))] @2: Fiona is kind.[(((((triple10) -> rule6)) -> rule3))] @3: Fiona is round.[(((triple10 ((((triple10) -> rule6)) -> rule3)) -> rule2))] @4: Fiona is rough.[(((((triple10 ((((triple10) -> rule6)) -> rule3)) -> rule2)) -> rule7))] @5: Fiona is big.[(((((triple10 ((((triple10) -> rule6)) -> rule3)) -> rule2) ((((triple10 ((((triple10) -> rule6)) -> rule3)) -> rule2)) -> rule7)) -> rule8))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
((triple6 triple5) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((triple6 ((triple6) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((triple2 triple3) -> (rule2 % int2)) triple5) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple2 triple3) -> (rule2 % int3)) ((triple6) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((triple6 ((((triple2 triple3) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple2 ((triple4) -> (rule3 % int3))) -> (rule2 % int2)) triple5) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple2 triple3) -> (rule2 % int3)) ((((triple2 triple3) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((triple2 ((triple4) -> (rule3 % int4))) -> (rule2 % int3)) ((triple6) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple2 ((triple4) -> (rule3 % int4))) -> (rule2 % int3)) ((((triple2 triple3) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((triple6 ((((triple2 ((triple4) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple2 ((((triple2) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) triple5) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((triple2 triple3) -> (rule2 % int4)) ((((triple2 ((triple4) -> (rule3 % int3))) -> (rule2 % int4))) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
((((triple2 ((((triple2) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule2 % int3)) ((triple6) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
((((triple2 ((triple4) -> (rule3 % int4))) -> (rule2 % int3)) ((((triple2 ((triple4) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
((((triple2 ((((triple2) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule2 % int3)) ((((triple2 triple3) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
((((triple2 ((((triple2) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule2 % int3)) ((((triple2 ((triple4) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
((triple6 ((((triple2 ((((triple2) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
((((triple2 triple3) -> (rule2 % int5)) ((((triple2 ((((triple2) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int5))) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
int5
((((triple2 ((triple4) -> (rule3 % int5))) -> (rule2 % int4)) ((((triple2 ((((triple2) -> (rule6 % int3))) -> (rule3 % int5))) -> (rule2 % int4))) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
((((triple2 ((((triple2) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule2 % int3)) ((((triple2 ((((triple2) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
((triple4) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
((((triple2) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is not young.
("Charlie" "is" "young" "-")
triple7
Charlie is red.
("Charlie" "is" "red" "+")
triple4
((triple2) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
((triple6) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((((triple2 triple3) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple3 triple1) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple2 ((triple4) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((((triple4) -> (rule3 % int3)) triple1) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
((((triple2 ((((triple2) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((((((triple2) -> (rule6 % int4))) -> (rule3 % int3)) triple1) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
triple6
((triple2 triple3) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((triple3 triple1) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((triple2 ((triple4) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((((triple4) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
((triple2 ((((triple2) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((((triple2) -> (rule6 % int3))) -> (rule3 % int2)) triple1) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
triple8
Dave is rough.
("Dave" "is" "rough" "+")
triple9
Fiona is cold.
("Fiona" "is" "cold" "+")
triple10
Fiona is young.
("Fiona" "is" "young" "+")
triple11
Gary is red.
("Gary" "is" "red" "+")
triple12
Fiona is red.
("Fiona" "is" "red" "+")
((triple10) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple12) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((((triple10) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
((triple10 ((((triple10) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
((((triple10 ((((triple10) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
((((triple10 ((((triple10) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule2 % int3)) ((((triple10 ((((triple10) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5