Eric wears all blue. They always call him rough Fred. You think Harry is only rough, cold and blue, but I know he is also young, round and kind. A green, inexperienced person with a round shape who is kind to others gets very red when in the sun. Young, round people seem to be big in our experience. A big person with cold, rough skin is going to be green as well. Anybody that is blue, red and cold will also be round, for sure. Whenever someone is kind as well as round and cold, they will definitely be blue. Nice young people who are always cold end up also being big.
Eric is blue.
("Eric" "is" "blue" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is green and round and kind then they are red.
((("someone" "is" "green" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone is young and round then they are big.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is big and cold and rough then they are green.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and cold and red then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and round and cold then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and nice and young then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
Harry is rough.
True
1
proof
[(triple5)]
("Harry" "is" "rough" "+")
triple5
Harry is not young.
False
1
inv-proof
[(triple3)]
("Harry" "is" "young" "-")
triple3
Harry is big.
True
3
proof
[(((triple3 triple4) -> rule2))]
("Harry" "is" "big" "+")
((triple3 triple4) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is not big.
False
3
inv-proof
[(((triple3 triple4) -> rule2))]
("Harry" "is" "big" "-")
((triple3 triple4) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
True
6
proof
[(((((triple3 triple4) -> rule2) triple7 triple5) -> rule3))]
("Harry" "is" "green" "+")
((((triple3 triple4) -> (rule2 % int2)) triple7 triple5) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is not green.
False
6
inv-proof
[(((((triple3 triple4) -> rule2) triple7 triple5) -> rule3))]
("Harry" "is" "green" "-")
((((triple3 triple4) -> (rule2 % int2)) triple7 triple5) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
True
9
proof
[(((((((triple3 triple4) -> rule2) triple7 triple5) -> rule3) triple4 triple6) -> rule1))]
("Harry" "is" "red" "+")
((((((triple3 triple4) -> (rule2 % int3)) triple7 triple5) -> (rule3 % int2)) triple4 triple6) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is not red.
False
9
inv-proof
[(((((((triple3 triple4) -> rule2) triple7 triple5) -> rule3) triple4 triple6) -> rule1))]
("Harry" "is" "red" "-")
((((((triple3 triple4) -> (rule2 % int3)) triple7 triple5) -> (rule3 % int2)) triple4 triple6) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Dave is not red.
Unknown
inv-rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "red" "-")
Fred is big.
Unknown
rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "big" "+")
Fred is not round.
Unknown
inv-rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "round" "-")
Dave is round.
Unknown
rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "round" "+")
Fred is not nice.
Unknown
inv-random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
@0: Eric is blue.[(triple1)] Fred is rough.[(triple2)] Harry is blue.[(triple8 OR ((triple6 triple4 triple7) -> rule5))] Harry is cold.[(triple7)] Harry is kind.[(triple6)] Harry is rough.[(triple5)] Harry is round.[(triple4)] Harry is young.[(triple3)] @1: Harry is big.[(((triple3 triple4) -> rule2))] @2: Harry is green.[(((((triple3 triple4) -> rule2) triple7 triple5) -> rule3))] @3: Harry is red.[(((((((triple3 triple4) -> rule2) triple7 triple5) -> rule3) triple4 triple6) -> rule1))]
Eric is blue.
("Eric" "is" "blue" "+")
triple1
Fred is rough.
("Fred" "is" "rough" "+")
triple2
Harry is blue.
("Harry" "is" "blue" "+")
triple8
((triple6 triple4 triple7) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
triple7
Harry is kind.
("Harry" "is" "kind" "+")
triple6
Harry is rough.
("Harry" "is" "rough" "+")
triple5
Harry is round.
("Harry" "is" "round" "+")
triple4
Harry is young.
("Harry" "is" "young" "+")
triple3
Harry is big.
("Harry" "is" "big" "+")
((triple3 triple4) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((((triple3 triple4) -> (rule2 % int2)) triple7 triple5) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
((((((triple3 triple4) -> (rule2 % int3)) triple7 triple5) -> (rule3 % int2)) triple4 triple6) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Eric wears all blue.
They always call him rough Fred.
You think Harry is only rough, cold and blue, but I know he is also young, round and kind.
A green, inexperienced person with a round shape who is kind to others gets very red when in the sun.
Young, round people seem to be big in our experience.
A big person with cold, rough skin is going to be green as well.
Anybody that is blue, red and cold will also be round, for sure.
Whenever someone is kind as well as round and cold, they will definitely be blue.
Nice young people who are always cold end up also being big.