Charlie realized he was round and rough, and he decided to be nice and kind as well. Dave was born only a few years ago so he is young. Fred is young, but very kind to others. Fred is big, with round features. Gary was looking rather round and feeling rather cold, but people thought he is kind. People that tend to be big and green also tend to be cold. If you come across someone with rough skin and a big and round shape, you'll see that they are also a big green. A young person with a kind heart and big sized body will be rough around the edges. When someone is young and round, dressing in blue they can be nice. People with blue and red skin color are also green. Nice people are kind and rough when they are young. Looking blue can be a sign that someone is cold.
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Dave is young.
("Dave" "is" "young" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is big and green then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is rough and round and big then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is young and kind and big then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and young and blue then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and red then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and kind and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is blue then they are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
Fred is big.
True
1
proof
[(triple9)]
("Fred" "is" "big" "+")
triple9
Gary is not round.
False
1
inv-proof
[(triple10)]
("Gary" "is" "round" "-")
triple10
Charlie is young.
True
4
proof
[(((triple3 triple4 triple2) -> rule6))]
("Charlie" "is" "young" "+")
((triple3 triple4 triple2) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is not young.
False
4
inv-proof
[(((triple3 triple4 triple2) -> rule6))]
("Charlie" "is" "young" "-")
((triple3 triple4 triple2) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Fred is green.
True
7
proof
[(((((triple6 triple8 triple9) -> rule3) triple7 triple9) -> rule2))]
("Fred" "is" "green" "+")
((((triple6 triple8 triple9) -> (rule3 % int2)) triple7 triple9) -> (rule2 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is not green.
False
7
inv-proof
[(((((triple6 triple8 triple9) -> rule3) triple7 triple9) -> rule2))]
("Fred" "is" "green" "-")
((((triple6 triple8 triple9) -> (rule3 % int2)) triple7 triple9) -> (rule2 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is cold.
True
9
proof
[(((triple9 ((((triple6 triple8 triple9) -> rule3) triple7 triple9) -> rule2)) -> rule1))]
("Fred" "is" "cold" "+")
((triple9 ((((triple6 triple8 triple9) -> (rule3 % int3)) triple7 triple9) -> (rule2 % int2))) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is not cold.
False
9
inv-proof
[(((triple9 ((((triple6 triple8 triple9) -> rule3) triple7 triple9) -> rule2)) -> rule1))]
("Fred" "is" "cold" "-")
((triple9 ((((triple6 triple8 triple9) -> (rule3 % int3)) triple7 triple9) -> (rule2 % int2))) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "cold" "-")
Gary is rough.
Unknown
rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "rough" "+")
Dave is not green.
Unknown
inv-rconc
[@1: Dave is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "green" "-")
Charlie is cold.
Unknown
rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "cold" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Charlie is blue.
Unknown
random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Fred is blue.
Unknown
random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "+")
@0: Charlie is kind.[(triple4)] Charlie is nice.[(triple3)] Charlie is rough.[(triple2)] Charlie is round.[(triple1)] Dave is young.[(triple5)] Fred is big.[(triple9)] Fred is kind.[(triple8)] Fred is round.[(triple7)] Fred is young.[(triple6)] Gary is cold.[(triple12)] Gary is kind.[(triple11)] Gary is round.[(triple10)] @1: Charlie is young.[(((triple3 triple4 triple2) -> rule6))] Fred is rough.[(((triple6 triple8 triple9) -> rule3))] @2: Fred is green.[(((((triple6 triple8 triple9) -> rule3) triple7 triple9) -> rule2))] @3: Fred is cold.[(((triple9 ((((triple6 triple8 triple9) -> rule3) triple7 triple9) -> rule2)) -> rule1))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Dave is young.
("Dave" "is" "young" "+")
triple5
Fred is big.
("Fred" "is" "big" "+")
triple9
Fred is kind.
("Fred" "is" "kind" "+")
triple8
Fred is round.
("Fred" "is" "round" "+")
triple7
Fred is young.
("Fred" "is" "young" "+")
triple6
Gary is cold.
("Gary" "is" "cold" "+")
triple12
Gary is kind.
("Gary" "is" "kind" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple10
Charlie is young.
("Charlie" "is" "young" "+")
((triple3 triple4 triple2) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
((triple6 triple8 triple9) -> (rule3 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
((((triple6 triple8 triple9) -> (rule3 % int2)) triple7 triple9) -> (rule2 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
((triple9 ((((triple6 triple8 triple9) -> (rule3 % int3)) triple7 triple9) -> (rule2 % int2))) -> (rule1 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Charlie realized he was round and rough, and he decided to be nice and kind as well.
Dave was born only a few years ago so he is young.
Fred is young, but very kind to others; Fred is big, with round features.
Gary was looking rather round and feeling rather cold, but people thought he is kind.
People that tend to be big and green also tend to be cold.
If you come across someone with rough skin and a big and round shape, you'll see that they are also a big green.
A young person with a kind heart and big sized body will be rough around the edges.
When someone is young and round, dressing in blue they can be nice.
People with blue and red skin color are also green.
Nice people are kind and rough when they are young.
Looking blue can be a sign that someone is cold.