Alan can be cold and rough, but also can be nice and kind. Either way, he's big and round. They always call him rough Charlie. Gary wears all blue. Harry is a nice and red, but very kind person as soon as you meet him. Young people who are big, downhearted, and blue are kind. Nice people who are big are always feeling blue. A person who is green and rough and round is also young. Among the green people who are young, the color blue is always part of them. A quite nice person will certainly be red. I believe that red, cold, rough people are likely to be green. A kind, young human will also be a blue human.
Alan is round.
("Alan" "is" "round" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is big and blue and young then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and big then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and rough and green then they are young.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is green and young then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice then they are red.
((("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and red and cold then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and young then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Alan is kind.
True
1
proof
[(triple4 OR ((triple6 ((triple3 triple6) -> rule2) ((triple1 triple2 ((triple2 ((triple3) -> rule5) triple5) -> rule6)) -> rule3)) -> rule1) OR ((triple6 ((((triple2 ((triple3) -> rule5) triple5) -> rule6) ((triple1 triple2 ((triple2 ((triple3) -> rule5) triple5) -> rule6)) -> rule3)) -> rule4) ((triple1 triple2 ((triple2 ((triple3) -> rule5) triple5) -> rule6)) -> rule3)) -> rule1))]
("Alan" "is" "kind" "+")
triple4
((triple6 ((triple3 triple6) -> (rule2 % int5)) ((triple1 triple2 ((triple2 ((triple3) -> (rule5 % int4)) triple5) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is red.
("Alan" "is" "red" "+")
int4
Alan is blue.
("Alan" "is" "blue" "+")
int5
((triple6 ((((triple2 ((triple3) -> (rule5 % int5)) triple5) -> (rule6 % int4)) ((triple1 triple2 ((triple2 ((triple3) -> (rule5 % int5)) triple5) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule4 % int2)) ((triple1 triple2 ((triple2 ((triple3) -> (rule5 % int5)) triple5) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
Alan is red.
("Alan" "is" "red" "+")
int5
Alan is not nice.
False
1
inv-proof
[(triple3)]
("Alan" "is" "nice" "-")
triple3
Alan is red.
True
2
proof
[(((triple3) -> rule5))]
("Alan" "is" "red" "+")
((triple3) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is not red.
False
2
inv-proof
[(((triple3) -> rule5))]
("Alan" "is" "red" "-")
((triple3) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is green.
True
5
proof
[(((triple2 ((triple3) -> rule5) triple5) -> rule6))]
("Alan" "is" "green" "+")
((triple2 ((triple3) -> (rule5 % int2)) triple5) -> (rule6 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is not green.
False
5
inv-proof
[(((triple2 ((triple3) -> rule5) triple5) -> rule6))]
("Alan" "is" "green" "-")
((triple2 ((triple3) -> (rule5 % int2)) triple5) -> (rule6 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is young.
True
8
proof
[(((triple1 triple2 ((triple2 ((triple3) -> rule5) triple5) -> rule6)) -> rule3))]
("Alan" "is" "young" "+")
((triple1 triple2 ((triple2 ((triple3) -> (rule5 % int3)) triple5) -> (rule6 % int2))) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan is not young.
False
8
inv-proof
[(((triple1 triple2 ((triple2 ((triple3) -> rule5) triple5) -> rule6)) -> rule3))]
("Alan" "is" "young" "-")
((triple1 triple2 ((triple2 ((triple3) -> (rule5 % int3)) triple5) -> (rule6 % int2))) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Charlie is not kind.
Unknown
inv-rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "kind" "-")
Harry is green.
Unknown
rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "green" "+")
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "green" "-")
Gary is kind.
Unknown
rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "kind" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Alan is big.[(triple6)] Alan is cold.[(triple5)] Alan is kind.[(triple4 OR ((triple6 ((triple3 triple6) -> rule2) ((triple1 triple2 ((triple2 ((triple3) -> rule5) triple5) -> rule6)) -> rule3)) -> rule1) OR ((triple6 ((((triple2 ((triple3) -> rule5) triple5) -> rule6) ((triple1 triple2 ((triple2 ((triple3) -> rule5) triple5) -> rule6)) -> rule3)) -> rule4) ((triple1 triple2 ((triple2 ((triple3) -> rule5) triple5) -> rule6)) -> rule3)) -> rule1))] Alan is nice.[(triple3)] Alan is rough.[(triple2)] Alan is round.[(triple1)] Charlie is rough.[(triple7)] Gary is blue.[(triple8)] Harry is kind.[(triple11)] Harry is nice.[(triple10)] Harry is red.[(triple9 OR ((triple10) -> rule5))] @1: Alan is blue.[(((triple3 triple6) -> rule2) OR ((triple4 ((triple1 triple2 ((triple2 ((triple3) -> rule5) triple5) -> rule6)) -> rule3)) -> rule7) OR ((((triple2 ((triple3) -> rule5) triple5) -> rule6) ((triple1 triple2 ((triple2 ((triple3) -> rule5) triple5) -> rule6)) -> rule3)) -> rule4))] Alan is red.[(((triple3) -> rule5))] @2: Alan is green.[(((triple2 ((triple3) -> rule5) triple5) -> rule6))] @3: Alan is young.[(((triple1 triple2 ((triple2 ((triple3) -> rule5) triple5) -> rule6)) -> rule3))]
Alan is big.
("Alan" "is" "big" "+")
triple6
Alan is cold.
("Alan" "is" "cold" "+")
triple5
Alan is kind.
("Alan" "is" "kind" "+")
triple4
((triple6 ((triple3 triple6) -> (rule2 % int5)) ((triple1 triple2 ((triple2 ((triple3) -> (rule5 % int4)) triple5) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is red.
("Alan" "is" "red" "+")
int4
Alan is blue.
("Alan" "is" "blue" "+")
int5
((triple6 ((((triple2 ((triple3) -> (rule5 % int5)) triple5) -> (rule6 % int4)) ((triple1 triple2 ((triple2 ((triple3) -> (rule5 % int5)) triple5) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule4 % int2)) ((triple1 triple2 ((triple2 ((triple3) -> (rule5 % int5)) triple5) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int1))
Alan is kind.
("Alan" "is" "kind" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
int3
Alan is green.
("Alan" "is" "green" "+")
int4
Alan is red.
("Alan" "is" "red" "+")
int5
Alan is nice.
("Alan" "is" "nice" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple9
((triple10) -> (rule5 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
((triple3 triple6) -> (rule2 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
((triple4 ((triple1 triple2 ((triple2 ((triple3) -> (rule5 % int4)) triple5) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is red.
("Alan" "is" "red" "+")
int4
((((triple2 ((triple3) -> (rule5 % int4)) triple5) -> (rule6 % int3)) ((triple1 triple2 ((triple2 ((triple3) -> (rule5 % int4)) triple5) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
int2
Alan is green.
("Alan" "is" "green" "+")
int3
Alan is red.
("Alan" "is" "red" "+")
int4
Alan is red.
("Alan" "is" "red" "+")
((triple3) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
((triple2 ((triple3) -> (rule5 % int2)) triple5) -> (rule6 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is young.
("Alan" "is" "young" "+")
((triple1 triple2 ((triple2 ((triple3) -> (rule5 % int3)) triple5) -> (rule6 % int2))) -> (rule3 % int1))
Alan is young.
("Alan" "is" "young" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is red.
("Alan" "is" "red" "+")
int3
Alan can be cold and rough, but also can be nice and kind; Either way, he's big and round.
They always call him rough Charlie.
Gary wears all blue.
Harry is a nice and red, but very kind person as soon as you meet him.
Young people who are big, downhearted, and blue are kind.
Nice people who are big are always feeling blue.
A person who is green and rough and round is also young.
Among the green people who are young, the color blue is always part of them.
A quite nice person will certainly be red.
I believe that red, cold, rough people are likely to be green.
A kind, young human will also be a blue human.