Charlie is big and green guy whose cold personality makes him seem very rough. Eric ate some rotten meat and now feels green. Young Fred has red, rough skin, but is nice and kind. Harry always goes out of his way to show that he is kind to people. A person who is cold but red, and big in size is young for sure. Despite being too big with bright green skin and freezing cold, these people have always been kind. A big, young human being is sure to also be a green human being. Big,cold,kind people tend to be red in color to others. Some kind person that is round a blue will get embarrassed and turn red.
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Eric is green.
("Eric" "is" "green" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is red and big and cold then they are young.
((("someone" "is" "red" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is big and green and cold then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and young then they are green.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and big and cold then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is round and blue and kind then they are red.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
Fred is kind.
True
1
proof
[(triple10)]
("Fred" "is" "kind" "+")
triple10
Fred is not young.
False
1
inv-proof
[(triple6)]
("Fred" "is" "young" "-")
triple6
Charlie is kind.
True
4
proof
[(((triple4 triple2 triple3) -> rule2))]
("Charlie" "is" "kind" "+")
((triple4 triple2 triple3) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is not kind.
False
4
inv-proof
[(((triple4 triple2 triple3) -> rule2))]
("Charlie" "is" "kind" "-")
((triple4 triple2 triple3) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
True
7
proof
[(((((triple4 triple2 triple3) -> rule2) triple4 triple3) -> rule4))]
("Charlie" "is" "red" "+")
((((triple4 triple2 triple3) -> (rule2 % int2)) triple4 triple3) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is not red.
False
7
inv-proof
[(((((triple4 triple2 triple3) -> rule2) triple4 triple3) -> rule4))]
("Charlie" "is" "red" "-")
((((triple4 triple2 triple3) -> (rule2 % int2)) triple4 triple3) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is young.
True
10
proof
[(((((((triple4 triple2 triple3) -> rule2) triple4 triple3) -> rule4) triple4 triple3) -> rule1))]
("Charlie" "is" "young" "+")
((((((triple4 triple2 triple3) -> (rule2 % int3)) triple4 triple3) -> (rule4 % int2)) triple4 triple3) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is not young.
False
10
inv-proof
[(((((((triple4 triple2 triple3) -> rule2) triple4 triple3) -> rule4) triple4 triple3) -> rule1))]
("Charlie" "is" "young" "-")
((((((triple4 triple2 triple3) -> (rule2 % int3)) triple4 triple3) -> (rule4 % int2)) triple4 triple3) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "green" "-")
Eric is red.
Unknown
rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "red" "+")
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "red" "-")
Harry is young.
Unknown
rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "young" "+")
Eric is not rough.
Unknown
inv-random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
Eric is not nice.
Unknown
inv-random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "-")
Fred is big.
Unknown
random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "+")
@0: Charlie is big.[(triple4)] Charlie is cold.[(triple3)] Charlie is green.[(triple2)] Charlie is rough.[(triple1)] Eric is green.[(triple5)] Fred is kind.[(triple10)] Fred is nice.[(triple9)] Fred is red.[(triple8)] Fred is rough.[(triple7)] Fred is young.[(triple6)] Harry is kind.[(triple11)] @1: Charlie is kind.[(((triple4 triple2 triple3) -> rule2))] @2: Charlie is red.[(((((triple4 triple2 triple3) -> rule2) triple4 triple3) -> rule4))] @3: Charlie is young.[(((((((triple4 triple2 triple3) -> rule2) triple4 triple3) -> rule4) triple4 triple3) -> rule1))]
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
triple2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Eric is green.
("Eric" "is" "green" "+")
triple5
Fred is kind.
("Fred" "is" "kind" "+")
triple10
Fred is nice.
("Fred" "is" "nice" "+")
triple9
Fred is red.
("Fred" "is" "red" "+")
triple8
Fred is rough.
("Fred" "is" "rough" "+")
triple7
Fred is young.
("Fred" "is" "young" "+")
triple6
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple4 triple2 triple3) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((((triple4 triple2 triple3) -> (rule2 % int2)) triple4 triple3) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
((((((triple4 triple2 triple3) -> (rule2 % int3)) triple4 triple3) -> (rule4 % int2)) triple4 triple3) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is big and green guy whose cold personality makes him seem very rough.
Eric ate some rotten meat and now feels green.
Young Fred has red, rough skin, but is nice and kind.
Harry always goes out of his way to show that he is kind to people.
A person who is cold but red, and big in size is young for sure.
Despite being too big with bright green skin and freezing cold, these people have always been kind.
A big, young human being is sure to also be a green human being.
Big,cold,kind people tend to be red in color to others.
Some kind person that is round a blue will get embarrassed and turn red.