Charlie was born only a few years ago so he is young. Eric is a young, round, and rough person who is red with goosebumps because he is cold/. To the touch Fred has rough, cold skin. Red Gary is what folks call him, because he is quite red. Young people with red skin who are a bit downhearted and blue are kind. A cold and young aged person will be big for sure. People that are green tend to be young. Young people that are big in size, tend to be more on the blue side.
Charlie is young.
("Charlie" "is" "young" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Gary is red.
("Gary" "is" "red" "+")
If someone is young and blue and red then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and cold then they are big.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is big and young then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Fred is rough.
True
1
proof
[(triple7)]
("Fred" "is" "rough" "+")
triple7
Gary is not red.
False
1
inv-proof
[(triple9)]
("Gary" "is" "red" "-")
triple9
Eric is big.
True
3
proof
[(((triple2 triple6) -> rule2))]
("Eric" "is" "big" "+")
((triple2 triple6) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is not big.
False
3
inv-proof
[(((triple2 triple6) -> rule2))]
("Eric" "is" "big" "-")
((triple2 triple6) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is blue.
True
5
proof
[(((((triple2 triple6) -> rule2) triple2) -> rule4))]
("Eric" "is" "blue" "+")
((((triple2 triple6) -> (rule2 % int2)) triple2) -> (rule4 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is not blue.
False
5
inv-proof
[(((((triple2 triple6) -> rule2) triple2) -> rule4))]
("Eric" "is" "blue" "-")
((((triple2 triple6) -> (rule2 % int2)) triple2) -> (rule4 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is kind.
True
8
proof
[(((triple2 ((((triple2 triple6) -> rule2) triple2) -> rule4) triple5) -> rule1))]
("Eric" "is" "kind" "+")
((triple2 ((((triple2 triple6) -> (rule2 % int3)) triple2) -> (rule4 % int2)) triple5) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Eric is not kind.
False
8
inv-proof
[(((triple2 ((((triple2 triple6) -> rule2) triple2) -> rule4) triple5) -> rule1))]
("Eric" "is" "kind" "-")
((triple2 ((((triple2 triple6) -> (rule2 % int3)) triple2) -> (rule4 % int2)) triple5) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Fred is not kind.
Unknown
inv-rconc
[@1: Fred is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "kind" "-")
Gary is blue.
Unknown
rconc
[@2: Gary is blue.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Gary" "is" "blue" "+")
Gary is not kind.
Unknown
inv-rconc
[@2: Gary is kind.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Gary" "is" "kind" "-")
Charlie is blue.
Unknown
rconc
[@2: Charlie is blue.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Charlie" "is" "blue" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Charlie is young.[(triple1)] Eric is cold.[(triple6)] Eric is red.[(triple5)] Eric is rough.[(triple4)] Eric is round.[(triple3)] Eric is young.[(triple2)] Fred is cold.[(triple8)] Fred is rough.[(triple7)] Gary is red.[(triple9)] @1: Eric is big.[(((triple2 triple6) -> rule2))] @2: Eric is blue.[(((((triple2 triple6) -> rule2) triple2) -> rule4))] @3: Eric is kind.[(((triple2 ((((triple2 triple6) -> rule2) triple2) -> rule4) triple5) -> rule1))]
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple6
Eric is red.
("Eric" "is" "red" "+")
triple5
Eric is rough.
("Eric" "is" "rough" "+")
triple4
Eric is round.
("Eric" "is" "round" "+")
triple3
Eric is young.
("Eric" "is" "young" "+")
triple2
Fred is cold.
("Fred" "is" "cold" "+")
triple8
Fred is rough.
("Fred" "is" "rough" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple9
Eric is big.
("Eric" "is" "big" "+")
((triple2 triple6) -> (rule2 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((((triple2 triple6) -> (rule2 % int2)) triple2) -> (rule4 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
((triple2 ((((triple2 triple6) -> (rule2 % int3)) triple2) -> (rule4 % int2)) triple5) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is big.
("Eric" "is" "big" "+")
int3
Charlie was born only a few years ago so he is young.
Eric is a young, round, and rough person who is red with goosebumps because he is cold/.
To the touch Fred has rough, cold skin.
Red Gary is what folks call him, because he is quite red.
Young people with red skin who are a bit downhearted and blue are kind.
A cold and young aged person will be big for sure.
People that are green tend to be young.
Young people that are big in size, tend to be more on the blue side.