Red Eric is what folks call him, because he is quite red. Big blue Fred is nice and young. Gary is big and dresses in blue. That guy Harry is big, but he's always kind to little ones. If people are nice and round, they look red. A young aged and blue colored person will certainly be round. Despite being too big with bright green skin and freezing cold, these people have always been kind. Show me someone who is cold and kind, and I'll show you how green they are. People with blue and red skin color are also green. Anyone perceived to be rough, cold and kind will also be nice. You will discover that green rough people are always red.
Eric is red.
("Eric" "is" "red" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is nice and round then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is young and blue then they are round.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
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 cold and kind then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and red then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and cold and kind then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and rough then they are red.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
Fred is big.
True
1
proof
[(triple5)]
("Fred" "is" "big" "+")
triple5
Gary is not big.
False
1
inv-proof
[(triple7)]
("Gary" "is" "big" "-")
triple7
Fred is round.
True
3
proof
[(((triple2 triple4) -> rule2))]
("Fred" "is" "round" "+")
((triple2 triple4) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is not round.
False
3
inv-proof
[(((triple2 triple4) -> rule2))]
("Fred" "is" "round" "-")
((triple2 triple4) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is red.
True
5
proof
[(((triple3 ((triple2 triple4) -> rule2)) -> rule1))]
("Fred" "is" "red" "+")
((triple3 ((triple2 triple4) -> (rule2 % int2))) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is not red.
False
5
inv-proof
[(((triple3 ((triple2 triple4) -> rule2)) -> rule1))]
("Fred" "is" "red" "-")
((triple3 ((triple2 triple4) -> (rule2 % int2))) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is green.
True
7
proof
[(((triple4 ((triple3 ((triple2 triple4) -> rule2)) -> rule1)) -> rule5))]
("Fred" "is" "green" "+")
((triple4 ((triple3 ((triple2 triple4) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is not green.
False
7
inv-proof
[(((triple4 ((triple3 ((triple2 triple4) -> rule2)) -> rule1)) -> rule5))]
("Fred" "is" "green" "-")
((triple4 ((triple3 ((triple2 triple4) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "round" "-")
Fred is kind.
Unknown
rconc
[@1: Fred is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "kind" "+")
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "nice" "-")
Gary is green.
Unknown
rconc
[@3: Gary is green.[CWA. Example of deepest failure = (rule5 <- rule1 <- rule6 <- FAIL)]]
("Gary" "is" "green" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Eric is rough.
Unknown
random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
@0: Eric is red.[(triple1)] Fred is big.[(triple5)] Fred is blue.[(triple4)] Fred is nice.[(triple3)] Fred is young.[(triple2)] Gary is big.[(triple7)] Gary is blue.[(triple6)] Harry is big.[(triple9)] Harry is kind.[(triple8)] @1: Fred is round.[(((triple2 triple4) -> rule2))] @2: Fred is red.[(((triple3 ((triple2 triple4) -> rule2)) -> rule1))] @3: Fred is green.[(((triple4 ((triple3 ((triple2 triple4) -> rule2)) -> rule1)) -> rule5))]
Eric is red.
("Eric" "is" "red" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple5
Fred is blue.
("Fred" "is" "blue" "+")
triple4
Fred is nice.
("Fred" "is" "nice" "+")
triple3
Fred is young.
("Fred" "is" "young" "+")
triple2
Gary is big.
("Gary" "is" "big" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple8
Fred is round.
("Fred" "is" "round" "+")
((triple2 triple4) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((triple3 ((triple2 triple4) -> (rule2 % int2))) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
((triple4 ((triple3 ((triple2 triple4) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Red Eric is what folks call him, because he is quite red.
Big blue Fred is nice and young.
Gary is big and dresses in blue.
That guy Harry is big, but he's always kind to little ones.
If people are nice and round, they look red.
A young aged and blue colored person will certainly be round.
Despite being too big with bright green skin and freezing cold, these people have always been kind.
Show me someone who is cold and kind, and I'll show you how green they are.
People with blue and red skin color are also green.
Anyone perceived to be rough, cold and kind will also be nice.
You will discover that green rough people are always red.