Dave is nice person, who was red colored due to a sunburn, was feeling rough because he is cold. Eric is big and red, but he's young and will grow out of it. If you met Harry you will see that he is round and red, but he is cold. Somebody whose descriptors are nice, big and kind will also fit a young descriptor. If someone has a red face and feels blue and has a round body then you'll automatically think they are big. Green people here that are also round and nice are always rough. Big, round, red people are always so young. A person who is cold with a red nose will be feeling blue. Being green and rough are signs that someone is big. A person who is cold, rough and young is also nice.
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is big.
("Eric" "is" "big" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is cold.
("Harry" "is" "cold" "+")
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 red and blue and round then they are big.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and round and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and round and red then they are young.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and red then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and rough then they are big.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and young and rough then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
Dave is cold.
True
1
proof
[(triple4)]
("Dave" "is" "cold" "+")
triple4
Dave is not cold.
False
1
inv-proof
[(triple4)]
("Dave" "is" "cold" "-")
triple4
Harry is blue.
True
3
proof
[(((triple10 triple9) -> rule5))]
("Harry" "is" "blue" "+")
((triple10 triple9) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is not blue.
False
3
inv-proof
[(((triple10 triple9) -> rule5))]
("Harry" "is" "blue" "-")
((triple10 triple9) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
True
6
proof
[(((triple9 ((triple10 triple9) -> rule5) triple8) -> rule2))]
("Harry" "is" "big" "+")
((triple9 ((triple10 triple9) -> (rule5 % int2)) triple8) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is not big.
False
6
inv-proof
[(((triple9 ((triple10 triple9) -> rule5) triple8) -> rule2))]
("Harry" "is" "big" "-")
((triple9 ((triple10 triple9) -> (rule5 % int2)) triple8) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
True
9
proof
[(((((triple9 ((triple10 triple9) -> rule5) triple8) -> rule2) triple8 triple9) -> rule4))]
("Harry" "is" "young" "+")
((((triple9 ((triple10 triple9) -> (rule5 % int3)) triple8) -> (rule2 % int2)) triple8 triple9) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is not young.
False
9
inv-proof
[(((((triple9 ((triple10 triple9) -> rule5) triple8) -> rule2) triple8 triple9) -> rule4))]
("Harry" "is" "young" "-")
((((triple9 ((triple10 triple9) -> (rule5 % int3)) triple8) -> (rule2 % int2)) triple8 triple9) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Eric is not blue.
Unknown
inv-rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Eric" "is" "blue" "-")
Eric is rough.
Unknown
rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "rough" "+")
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "young" "+")
Eric is not kind.
Unknown
inv-random
[@0: Eric is kind.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "kind" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Eric is not round.
Unknown
inv-random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "-")
Eric is cold.
Unknown
random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "+")
@0: Dave is cold.[(triple4)] Dave is nice.[(triple3)] Dave is red.[(triple2)] Dave is rough.[(triple1)] Eric is big.[(triple7)] Eric is red.[(triple6)] Eric is young.[(triple5)] Harry is cold.[(triple10)] Harry is red.[(triple9)] Harry is round.[(triple8)] @1: Dave is blue.[(((triple4 triple2) -> rule5))] Harry is blue.[(((triple10 triple9) -> rule5))] @2: Harry is big.[(((triple9 ((triple10 triple9) -> rule5) triple8) -> rule2))] @3: Harry is young.[(((((triple9 ((triple10 triple9) -> rule5) triple8) -> rule2) triple8 triple9) -> rule4))]
Dave is cold.
("Dave" "is" "cold" "+")
triple4
Dave is nice.
("Dave" "is" "nice" "+")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple2
Dave is rough.
("Dave" "is" "rough" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple7
Eric is red.
("Eric" "is" "red" "+")
triple6
Eric is young.
("Eric" "is" "young" "+")
triple5
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple8
Dave is blue.
("Dave" "is" "blue" "+")
((triple4 triple2) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple10 triple9) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple9 ((triple10 triple9) -> (rule5 % int2)) triple8) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
((((triple9 ((triple10 triple9) -> (rule5 % int3)) triple8) -> (rule2 % int2)) triple8 triple9) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Dave is nice person, who was red colored due to a sunburn, was feeling rough because he is cold.
Eric is big and red, but he's young and will grow out of it.
If you met Harry you will see that he is round and red, but he is cold.
Somebody whose descriptors are nice, big and kind will also fit a young descriptor.
If someone has a red face and feels blue and has a round body then you'll automatically think they are big.
Green people here that are also round and nice are always rough.
Big, round, red people are always so young.
A person who is cold with a red nose will be feeling blue.
Being green and rough are signs that someone is big.
A person who is cold, rough and young is also nice.