Dave is big, round, rough and cold, but Dave can also be nice. My friend Eric is very young. People say he is nice for having a round shape. They always call him rough Gary. Everyone that is rough but also kind will be green. People who are rough and green with envy are young. A quite nice person who is red and green is also big. A kind and nice person who is looking green is often red. Red and kind people always seem to be big as well. A cold human with round and rough aspects is always kind. A cold temperatured and rough person who is also green will be big shaped.
If someone is kind and rough then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and green then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is red and green and nice then they are big.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and nice and green then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is red and kind then they are big.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and round and rough then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and rough and green then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
Dave is big.
True
1
proof
[(triple5 OR ((triple4 triple2 ((((triple4 triple1 triple2) -> rule6) triple2) -> rule1)) -> rule7) OR ((((((triple4 triple1 triple2) -> rule6) triple3 ((((triple4 triple1 triple2) -> rule6) triple2) -> rule1)) -> rule4) ((triple4 triple1 triple2) -> rule6)) -> rule5) OR ((((((triple4 triple1 triple2) -> rule6) triple3 ((((triple4 triple1 triple2) -> rule6) triple2) -> rule1)) -> rule4) ((((triple4 triple1 triple2) -> rule6) triple2) -> rule1) triple3) -> rule3))]
("Dave" "is" "big" "+")
triple5
((triple4 triple2 ((((triple4 triple1 triple2) -> (rule6 % int3)) triple2) -> (rule1 % int2))) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((((triple4 triple1 triple2) -> (rule6 % int4)) triple3 ((((triple4 triple1 triple2) -> (rule6 % int4)) triple2) -> (rule1 % int3))) -> (rule4 % int2)) ((triple4 triple1 triple2) -> (rule6 % int4))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((triple4 triple1 triple2) -> (rule6 % int4)) triple3 ((((triple4 triple1 triple2) -> (rule6 % int4)) triple2) -> (rule1 % int3))) -> (rule4 % int2)) ((((triple4 triple1 triple2) -> (rule6 % int4)) triple2) -> (rule1 % int3)) triple3) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is not round.
False
1
inv-proof
[(triple1)]
("Dave" "is" "round" "-")
triple1
Dave is kind.
True
4
proof
[(((triple4 triple1 triple2) -> rule6))]
("Dave" "is" "kind" "+")
((triple4 triple1 triple2) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is not kind.
False
4
inv-proof
[(((triple4 triple1 triple2) -> rule6))]
("Dave" "is" "kind" "-")
((triple4 triple1 triple2) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
True
6
proof
[(((((triple4 triple1 triple2) -> rule6) triple2) -> rule1))]
("Dave" "is" "green" "+")
((((triple4 triple1 triple2) -> (rule6 % int2)) triple2) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is not green.
False
6
inv-proof
[(((((triple4 triple1 triple2) -> rule6) triple2) -> rule1))]
("Dave" "is" "green" "-")
((((triple4 triple1 triple2) -> (rule6 % int2)) triple2) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is red.
True
12
proof
[(((((triple4 triple1 triple2) -> rule6) triple3 ((((triple4 triple1 triple2) -> rule6) triple2) -> rule1)) -> rule4))]
("Dave" "is" "red" "+")
((((triple4 triple1 triple2) -> (rule6 % int3)) triple3 ((((triple4 triple1 triple2) -> (rule6 % int3)) triple2) -> (rule1 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is not red.
False
12
inv-proof
[(((((triple4 triple1 triple2) -> rule6) triple3 ((((triple4 triple1 triple2) -> rule6) triple2) -> rule1)) -> rule4))]
("Dave" "is" "red" "-")
((((triple4 triple1 triple2) -> (rule6 % int3)) triple3 ((((triple4 triple1 triple2) -> (rule6 % int3)) triple2) -> (rule1 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "young" "-")
Gary is green.
Unknown
rconc
[@2: Gary is green.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Gary" "is" "green" "+")
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "red" "-")
Eric is red.
Unknown
rconc
[@2: Eric is red.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("Eric" "is" "red" "+")
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Dave is big.[(triple5 OR ((triple4 triple2 ((((triple4 triple1 triple2) -> rule6) triple2) -> rule1)) -> rule7) OR ((((((triple4 triple1 triple2) -> rule6) triple3 ((((triple4 triple1 triple2) -> rule6) triple2) -> rule1)) -> rule4) ((triple4 triple1 triple2) -> rule6)) -> rule5) OR ((((((triple4 triple1 triple2) -> rule6) triple3 ((((triple4 triple1 triple2) -> rule6) triple2) -> rule1)) -> rule4) ((((triple4 triple1 triple2) -> rule6) triple2) -> rule1) triple3) -> rule3))] Dave is cold.[(triple4)] Dave is nice.[(triple3)] Dave is rough.[(triple2)] Dave is round.[(triple1)] Eric is nice.[(triple8)] Eric is round.[(triple7)] Eric is young.[(triple6)] Gary is rough.[(triple9)] @1: Dave is kind.[(((triple4 triple1 triple2) -> rule6))] @2: Dave is green.[(((((triple4 triple1 triple2) -> rule6) triple2) -> rule1))] @3: Dave is red.[(((((triple4 triple1 triple2) -> rule6) triple3 ((((triple4 triple1 triple2) -> rule6) triple2) -> rule1)) -> rule4))] Dave is young.[(((triple2 ((((triple4 triple1 triple2) -> rule6) triple2) -> rule1)) -> rule2))]
Dave is big.
("Dave" "is" "big" "+")
triple5
((triple4 triple2 ((((triple4 triple1 triple2) -> (rule6 % int3)) triple2) -> (rule1 % int2))) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
((((((triple4 triple1 triple2) -> (rule6 % int4)) triple3 ((((triple4 triple1 triple2) -> (rule6 % int4)) triple2) -> (rule1 % int3))) -> (rule4 % int2)) ((triple4 triple1 triple2) -> (rule6 % int4))) -> (rule5 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
((((((triple4 triple1 triple2) -> (rule6 % int4)) triple3 ((((triple4 triple1 triple2) -> (rule6 % int4)) triple2) -> (rule1 % int3))) -> (rule4 % int2)) ((((triple4 triple1 triple2) -> (rule6 % int4)) triple2) -> (rule1 % int3)) triple3) -> (rule3 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple1
Eric is nice.
("Eric" "is" "nice" "+")
triple8
Eric is round.
("Eric" "is" "round" "+")
triple7
Eric is young.
("Eric" "is" "young" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Dave is kind.
("Dave" "is" "kind" "+")
((triple4 triple1 triple2) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((((triple4 triple1 triple2) -> (rule6 % int2)) triple2) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
((((triple4 triple1 triple2) -> (rule6 % int3)) triple3 ((((triple4 triple1 triple2) -> (rule6 % int3)) triple2) -> (rule1 % int2))) -> (rule4 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
((triple2 ((((triple4 triple1 triple2) -> (rule6 % int3)) triple2) -> (rule1 % int2))) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is big, round, rough and cold, but Dave can also be nice.
My friend Eric is very young; People say he is nice for having a round shape.
They always call him rough Gary.
Everyone that is rough but also kind will be green.
People who are rough and green with envy are young.
A quite nice person who is red and green is also big.
A kind and nice person who is looking green is often red.
Red and kind people always seem to be big as well.
A cold human with round and rough aspects is always kind.
A cold temperatured and rough person who is also green will be big shaped.