Charlie is young, rough and green, but he turns blue when he is cold like anyone else. Young Eric got into a fight that left him with red sores on his face. Harry always goes out of his way to show that he is kind to people. Whenever you are around kind and green people, you will notice they are very red. A nice and kind person who is big sized will be cold. Any person who is blue and round, if they are kind at the same time, will be young. Nice people who are big are always feeling blue. Interestingly, cold and rough people are kind. A person that is the color red will definitely be round shaped.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is red.
("Eric" "is" "red" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is kind and green then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and kind and big then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and round and kind then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and big then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and rough then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is red then they are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
Charlie is rough.
True
1
proof
[(triple2)]
("Charlie" "is" "rough" "+")
triple2
Harry is not kind.
False
1
inv-proof
[(triple8)]
("Harry" "is" "kind" "-")
triple8
Eric is round.
True
2
proof
[(((triple7) -> rule6))]
("Eric" "is" "round" "+")
((triple7) -> (rule6 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is not round.
False
2
inv-proof
[(((triple7) -> rule6))]
("Eric" "is" "round" "-")
((triple7) -> (rule6 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Charlie is red.
True
5
proof
[(((((triple4 triple2) -> rule5) triple3) -> rule1))]
("Charlie" "is" "red" "+")
((((triple4 triple2) -> (rule5 % int2)) triple3) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is not red.
False
5
inv-proof
[(((((triple4 triple2) -> rule5) triple3) -> rule1))]
("Charlie" "is" "red" "-")
((((triple4 triple2) -> (rule5 % int2)) triple3) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is round.
True
6
proof
[(((((((triple4 triple2) -> rule5) triple3) -> rule1)) -> rule6))]
("Charlie" "is" "round" "+")
((((((triple4 triple2) -> (rule5 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is not round.
False
6
inv-proof
[(((((((triple4 triple2) -> rule5) triple3) -> rule1)) -> rule6))]
("Charlie" "is" "round" "-")
((((((triple4 triple2) -> (rule5 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Eric is not cold.
Unknown
inv-rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "cold" "-")
Harry is young.
Unknown
rconc
[@2: Harry is young.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Harry" "is" "young" "+")
Harry is not round.
Unknown
inv-rconc
[@2: Harry is round.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Harry" "is" "round" "-")
Harry is cold.
Unknown
rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "cold" "+")
Eric is not rough.
Unknown
inv-random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
Fred is not nice.
Unknown
inv-random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
@0: Charlie is blue.[(triple5)] Charlie is cold.[(triple4)] Charlie is green.[(triple3)] Charlie is rough.[(triple2)] Charlie is young.[(triple1 OR ((triple5 ((((((triple4 triple2) -> rule5) triple3) -> rule1)) -> rule6) ((triple4 triple2) -> rule5)) -> rule3))] Eric is red.[(triple7)] Eric is young.[(triple6)] Harry is kind.[(triple8)] @1: Charlie is kind.[(((triple4 triple2) -> rule5))] Eric is round.[(((triple7) -> rule6))] @2: Charlie is red.[(((((triple4 triple2) -> rule5) triple3) -> rule1))] @3: Charlie is round.[(((((((triple4 triple2) -> rule5) triple3) -> rule1)) -> rule6))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
((triple5 ((((((triple4 triple2) -> (rule5 % int4)) triple3) -> (rule1 % int3))) -> (rule6 % int2)) ((triple4 triple2) -> (rule5 % int4))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Eric is red.
("Eric" "is" "red" "+")
triple7
Eric is young.
("Eric" "is" "young" "+")
triple6
Harry is kind.
("Harry" "is" "kind" "+")
triple8
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple4 triple2) -> (rule5 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Eric is round.
("Eric" "is" "round" "+")
((triple7) -> (rule6 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((((triple4 triple2) -> (rule5 % int2)) triple3) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
((((((triple4 triple2) -> (rule5 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is young, rough and green, but he turns blue when he is cold like anyone else.
Young Eric got into a fight that left him with red sores on his face.
Harry always goes out of his way to show that he is kind to people.
Whenever you are around kind and green people, you will notice they are very red.
A nice and kind person who is big sized will be cold.
Any person who is blue and round, if they are kind at the same time, will be young.
Nice people who are big are always feeling blue.
Interestingly, cold and rough people are kind.
A person that is the color red will definitely be round shaped.