Bob is known to be rough and green. Charlie loves cake which has made him quite round. Because he has been made fun of for quite some time, he has turned rough and cold towards others. Dave is big in stature, blue from the cold, has red hair and is kind. Eric has a round face and is very nice. Cold, rough people are always green. You know when you meet a red, blue and kind person, that means they are green. Somebody whose descriptors are nice, big and kind will also fit a young descriptor. Being green, blue, and red all point to how young someone was. Big, red things tend to have a kind spirit to them. Young,cold and blue people are mostly round. When a round individual is nice to others, they are also feeling blue.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is nice.
("Eric" "is" "nice" "+")
If someone is cold and rough then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is red and blue and kind then they are green.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and big and kind then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is green and blue and red then they are young.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is red and big then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and young and cold then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is round and nice then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
Charlie is cold.
True
1
proof
[(triple5)]
("Charlie" "is" "cold" "+")
triple5
Charlie is not cold.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "cold" "-")
triple5
Eric is blue.
True
3
proof
[(((triple11 triple12) -> rule7))]
("Eric" "is" "blue" "+")
((triple11 triple12) -> (rule7 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is not blue.
False
3
inv-proof
[(((triple11 triple12) -> rule7))]
("Eric" "is" "blue" "-")
((triple11 triple12) -> (rule7 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Dave is young.
True
7
proof
[(((((triple6 triple9 triple7) -> rule2) triple9 triple6) -> rule4) OR ((((triple6 triple9 ((triple6 triple10) -> rule5)) -> rule2) triple9 triple6) -> rule4))]
("Dave" "is" "young" "+")
((((triple6 triple9 triple7) -> (rule2 % int2)) triple9 triple6) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((((triple6 triple9 ((triple6 triple10) -> (rule5 % int3))) -> (rule2 % int2)) triple9 triple6) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is not young.
False
7
inv-proof
[(((((triple6 triple9 triple7) -> rule2) triple9 triple6) -> rule4) OR ((((triple6 triple9 ((triple6 triple10) -> rule5)) -> rule2) triple9 triple6) -> rule4))]
("Dave" "is" "young" "-")
((((triple6 triple9 triple7) -> (rule2 % int2)) triple9 triple6) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((((triple6 triple9 ((triple6 triple10) -> (rule5 % int3))) -> (rule2 % int2)) triple9 triple6) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is round.
True
10
proof
[(((triple9 ((((triple6 triple9 triple7) -> rule2) triple9 triple6) -> rule4) triple8) -> rule6) OR ((triple9 ((((triple6 triple9 ((triple6 triple10) -> rule5)) -> rule2) triple9 triple6) -> rule4) triple8) -> rule6))]
("Dave" "is" "round" "+")
((triple9 ((((triple6 triple9 triple7) -> (rule2 % int3)) triple9 triple6) -> (rule4 % int2)) triple8) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((triple9 ((((triple6 triple9 ((triple6 triple10) -> (rule5 % int4))) -> (rule2 % int3)) triple9 triple6) -> (rule4 % int2)) triple8) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is not round.
False
10
inv-proof
[(((triple9 ((((triple6 triple9 triple7) -> rule2) triple9 triple6) -> rule4) triple8) -> rule6) OR ((triple9 ((((triple6 triple9 ((triple6 triple10) -> rule5)) -> rule2) triple9 triple6) -> rule4) triple8) -> rule6))]
("Dave" "is" "round" "-")
((triple9 ((((triple6 triple9 triple7) -> (rule2 % int3)) triple9 triple6) -> (rule4 % int2)) triple8) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((triple9 ((((triple6 triple9 ((triple6 triple10) -> (rule5 % int4))) -> (rule2 % int3)) triple9 triple6) -> (rule4 % int2)) triple8) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Eric is not young.
Unknown
inv-rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "young" "-")
Bob is blue.
Unknown
rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "blue" "+")
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "young" "-")
Bob is young.
Unknown
rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "young" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
Eric is not rough.
Unknown
inv-random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Bob is green.[(triple2)] Bob is rough.[(triple1)] Charlie is cold.[(triple5)] Charlie is rough.[(triple4)] Charlie is round.[(triple3)] Dave is big.[(triple10)] Dave is blue.[(triple9)] Dave is cold.[(triple8)] Dave is kind.[(triple7 OR ((triple6 triple10) -> rule5))] Dave is red.[(triple6)] Eric is nice.[(triple12)] Eric is round.[(triple11)] @1: Charlie is green.[(((triple5 triple4) -> rule1))] Dave is green.[(((triple6 triple9 triple7) -> rule2) OR ((triple6 triple9 ((triple6 triple10) -> rule5)) -> rule2))] Eric is blue.[(((triple11 triple12) -> rule7))] @2: Dave is young.[(((((triple6 triple9 triple7) -> rule2) triple9 triple6) -> rule4) OR ((((triple6 triple9 ((triple6 triple10) -> rule5)) -> rule2) triple9 triple6) -> rule4))] @3: Dave is round.[(((triple9 ((((triple6 triple9 triple7) -> rule2) triple9 triple6) -> rule4) triple8) -> rule6) OR ((triple9 ((((triple6 triple9 ((triple6 triple10) -> rule5)) -> rule2) triple9 triple6) -> rule4) triple8) -> rule6))]
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Dave is big.
("Dave" "is" "big" "+")
triple10
Dave is blue.
("Dave" "is" "blue" "+")
triple9
Dave is cold.
("Dave" "is" "cold" "+")
triple8
Dave is kind.
("Dave" "is" "kind" "+")
triple7
((triple6 triple10) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
triple6
Eric is nice.
("Eric" "is" "nice" "+")
triple12
Eric is round.
("Eric" "is" "round" "+")
triple11
Charlie is green.
("Charlie" "is" "green" "+")
((triple5 triple4) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple6 triple9 triple7) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((triple6 triple9 ((triple6 triple10) -> (rule5 % int2))) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
((triple11 triple12) -> (rule7 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((((triple6 triple9 triple7) -> (rule2 % int2)) triple9 triple6) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((((triple6 triple9 ((triple6 triple10) -> (rule5 % int3))) -> (rule2 % int2)) triple9 triple6) -> (rule4 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
((triple9 ((((triple6 triple9 triple7) -> (rule2 % int3)) triple9 triple6) -> (rule4 % int2)) triple8) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((triple9 ((((triple6 triple9 ((triple6 triple10) -> (rule5 % int4))) -> (rule2 % int3)) triple9 triple6) -> (rule4 % int2)) triple8) -> (rule6 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Bob is known to be rough and green.
Charlie loves cake which has made him quite round; Because he has been made fun of for quite some time, he has turned rough and cold towards others.
Dave is big in stature, blue from the cold, has red hair and is kind.
Eric has a round face and is very nice.
Cold, rough people are always green.
You know when you meet a red, blue and kind person, that means they are green.
Somebody whose descriptors are nice, big and kind will also fit a young descriptor.
Being green, blue, and red all point to how young someone was.
Big, red things tend to have a kind spirit to them.
Young,cold and blue people are mostly round.
When a round individual is nice to others, they are also feeling blue.