Young Alan got into a fight that left him with red sores on his face. They always call him rough Charlie. Fred is round shaped and green colored. If you met Gary you would find him nice, blue, cold and quite big. It's a fact that young people are red people. When someone is young they can be nice and kind, but green in society. People that feel green are cold to people that try to help them. Round green people usually feel blue. You will discover that green rough people are always red. A person with the qualities of being cold and being red will also be a person that is green. When a person is blue, cold, and nice, they are also pretty young too.
Alan is young.
("Alan" "is" "young" "+")
Alan is red.
("Alan" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is green.
("Fred" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is young then they are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and nice and young then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is green then they are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and green then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and rough then they are red.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and red then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and cold and nice then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
Gary is nice.
True
1
proof
[(triple6)]
("Gary" "is" "nice" "+")
triple6
Gary is not blue.
False
1
inv-proof
[(triple8)]
("Gary" "is" "blue" "-")
triple8
Gary is young.
True
4
proof
[(((triple8 triple7 triple6) -> rule7))]
("Gary" "is" "young" "+")
((triple8 triple7 triple6) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is not young.
False
4
inv-proof
[(((triple8 triple7 triple6) -> rule7))]
("Gary" "is" "young" "-")
((triple8 triple7 triple6) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is red.
True
5
proof
[(((((triple8 triple7 triple6) -> rule7)) -> rule1))]
("Gary" "is" "red" "+")
((((triple8 triple7 triple6) -> (rule7 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is not red.
False
5
inv-proof
[(((((triple8 triple7 triple6) -> rule7)) -> rule1))]
("Gary" "is" "red" "-")
((((triple8 triple7 triple6) -> (rule7 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
True
7
proof
[(((triple7 ((((triple8 triple7 triple6) -> rule7)) -> rule1)) -> rule6))]
("Gary" "is" "green" "+")
((triple7 ((((triple8 triple7 triple6) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is not green.
False
7
inv-proof
[(((triple7 ((((triple8 triple7 triple6) -> rule7)) -> rule1)) -> rule6))]
("Gary" "is" "green" "-")
((triple7 ((((triple8 triple7 triple6) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Charlie is not green.
Unknown
inv-rconc
[@3: Charlie is green.[CWA. Example of deepest failure = (rule6 <- rule3 <- rule2 <- FAIL)]]
("Charlie" "is" "green" "-")
Charlie is cold.
Unknown
rconc
[@2: Charlie is cold.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Charlie" "is" "cold" "+")
Alan is not green.
Unknown
inv-rconc
[@3: Alan is green.[CWA. Example of deepest failure = (rule6 <- rule3 <- rule2 <- FAIL)]]
("Alan" "is" "green" "-")
Charlie is blue.
Unknown
rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "blue" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
Alan is not round.
Unknown
inv-random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Alan is red.[(triple2 OR ((triple1) -> rule1))] Alan is young.[(triple1)] Charlie is rough.[(triple3)] Fred is green.[(triple5)] Fred is round.[(triple4)] Gary is big.[(triple9)] Gary is blue.[(triple8)] Gary is cold.[(triple7)] Gary is nice.[(triple6)] @1: Fred is blue.[(((triple4 triple5) -> rule4))] Fred is cold.[(((triple5) -> rule3))] Gary is young.[(((triple8 triple7 triple6) -> rule7))] @2: Gary is red.[(((((triple8 triple7 triple6) -> rule7)) -> rule1))] @3: Gary is green.[(((triple7 ((((triple8 triple7 triple6) -> rule7)) -> rule1)) -> rule6))]
Alan is red.
("Alan" "is" "red" "+")
triple2
((triple1) -> (rule1 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Fred is green.
("Fred" "is" "green" "+")
triple5
Fred is round.
("Fred" "is" "round" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Fred is blue.
("Fred" "is" "blue" "+")
((triple4 triple5) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
((triple5) -> (rule3 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple8 triple7 triple6) -> (rule7 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
((((triple8 triple7 triple6) -> (rule7 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
((triple7 ((((triple8 triple7 triple6) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Young Alan got into a fight that left him with red sores on his face.
They always call him rough Charlie.
Fred is round shaped and green colored.
If you met Gary you would find him nice, blue, cold and quite big.
It's a fact that young people are red people.
When someone is young they can be nice and kind, but green in society.
People that feel green are cold to people that try to help them.
Round green people usually feel blue.
You will discover that green rough people are always red.
A person with the qualities of being cold and being red will also be a person that is green.
When a person is blue, cold, and nice, they are also pretty young too.