Eric is a very rough person. As expected, he's also a very cold and big individual. Fred is young but big for his age. Fred wasn't feeling well so he is a little green. Harry was born only a few years ago so he is young. A rough textured and cold person is definitely young. A young and cold person is red. A green colored, nice and young person will be big shaped. If you can find someone who is nice and red, then be relieved that they are certain to be kind. You will always find a cold, rough, red person to also be a round person. A big person who is kind and nice is usually red because their prone to blushing. A blue and green colored person will be round in shape.
Eric is rough.
("Eric" "is" "rough" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is rough and cold then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and young then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is young and green and nice then they are big.
((("someone" "is" "young" "+") ("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and red then they are kind.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and rough and red then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and nice and big then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is blue and green then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Eric is cold.
True
1
proof
[(triple2)]
("Eric" "is" "cold" "+")
triple2
Eric is not rough.
False
1
inv-proof
[(triple1)]
("Eric" "is" "rough" "-")
triple1
Eric is young.
True
3
proof
[(((triple1 triple2) -> rule1))]
("Eric" "is" "young" "+")
((triple1 triple2) -> (rule1 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is not young.
False
3
inv-proof
[(((triple1 triple2) -> rule1))]
("Eric" "is" "young" "-")
((triple1 triple2) -> (rule1 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is red.
True
5
proof
[(((triple2 ((triple1 triple2) -> rule1)) -> rule2))]
("Eric" "is" "red" "+")
((triple2 ((triple1 triple2) -> (rule1 % int2))) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is not red.
False
5
inv-proof
[(((triple2 ((triple1 triple2) -> rule1)) -> rule2))]
("Eric" "is" "red" "-")
((triple2 ((triple1 triple2) -> (rule1 % int2))) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is round.
True
8
proof
[(((triple2 triple1 ((triple2 ((triple1 triple2) -> rule1)) -> rule2)) -> rule5))]
("Eric" "is" "round" "+")
((triple2 triple1 ((triple2 ((triple1 triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is not round.
False
8
inv-proof
[(((triple2 triple1 ((triple2 ((triple1 triple2) -> rule1)) -> rule2)) -> rule5))]
("Eric" "is" "round" "-")
((triple2 triple1 ((triple2 ((triple1 triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Alan is not big.
Unknown
inv-rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "big" "-")
Fred is kind.
Unknown
rconc
[@1: Fred is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "kind" "+")
Eric is not kind.
Unknown
inv-rconc
[@1: Eric is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "kind" "-")
Harry is red.
Unknown
rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "red" "+")
Harry is not blue.
Unknown
inv-random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
Alan is not nice.
Unknown
inv-random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "-")
Alan is rough.
Unknown
random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "+")
@0: Eric is big.[(triple3)] Eric is cold.[(triple2)] Eric is rough.[(triple1)] Fred is big.[(triple6)] Fred is green.[(triple5)] Fred is young.[(triple4)] Harry is young.[(triple7)] @1: Eric is young.[(((triple1 triple2) -> rule1))] @2: Eric is red.[(((triple2 ((triple1 triple2) -> rule1)) -> rule2))] @3: Eric is round.[(((triple2 triple1 ((triple2 ((triple1 triple2) -> rule1)) -> rule2)) -> rule5))]
Eric is big.
("Eric" "is" "big" "+")
triple3
Eric is cold.
("Eric" "is" "cold" "+")
triple2
Eric is rough.
("Eric" "is" "rough" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple6
Fred is green.
("Fred" "is" "green" "+")
triple5
Fred is young.
("Fred" "is" "young" "+")
triple4
Harry is young.
("Harry" "is" "young" "+")
triple7
Eric is young.
("Eric" "is" "young" "+")
((triple1 triple2) -> (rule1 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
((triple2 ((triple1 triple2) -> (rule1 % int2))) -> (rule2 % int1))
Eric is red.
("Eric" "is" "red" "+")
int1
Eric is young.
("Eric" "is" "young" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
((triple2 triple1 ((triple2 ((triple1 triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is red.
("Eric" "is" "red" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
int3
Eric is a very rough person; As expected, he's also a very cold and big individual.
Fred is young but big for his age; Fred wasn't feeling well so he is a little green.
Harry was born only a few years ago so he is young.
A rough textured and cold person is definitely young.
A young and cold person is red.
A green colored, nice and young person will be big shaped.
If you can find someone who is nice and red, then be relieved that they are certain to be kind.
You will always find a cold, rough, red person to also be a round person.
A big person who is kind and nice is usually red because their prone to blushing.
A blue and green colored person will be round in shape.