Dave was born only a few years ago so he is young. Eric wears all blue. Fred is a round fellow, but he is kind, even when he is so cold he turns blue. In the snow sits Gary, crying from being cold. People who are rough, round in shape, and big in stature are usuallu blue in color. Though their hands were rough and cold they were also kind, which is how I could tell that they were young. If a person is young and very kind then they will be rather big. It's always true that round, kind people are rough as well.
Dave is young.
("Dave" "is" "young" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
If someone is rough and round and big then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and rough and cold then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is young and kind then they are big.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is round and kind then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Eric is blue.
True
1
proof
[(triple2)]
("Eric" "is" "blue" "+")
triple2
Fred is not blue.
False
1
inv-proof
[(triple6 OR ((((triple3 triple4) -> rule4) triple3 ((((triple4 ((triple3 triple4) -> rule4) triple5) -> rule2) triple4) -> rule3)) -> rule1))]
("Fred" "is" "blue" "-")
triple6
((((triple3 triple4) -> (rule4 % int4)) triple3 ((((triple4 ((triple3 triple4) -> (rule4 % int4)) triple5) -> (rule2 % int3)) triple4) -> (rule3 % int2))) -> (rule1 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
Fred is rough.
True
3
proof
[(((triple3 triple4) -> rule4))]
("Fred" "is" "rough" "+")
((triple3 triple4) -> (rule4 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is not rough.
False
3
inv-proof
[(((triple3 triple4) -> rule4))]
("Fred" "is" "rough" "-")
((triple3 triple4) -> (rule4 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is young.
True
6
proof
[(((triple4 ((triple3 triple4) -> rule4) triple5) -> rule2))]
("Fred" "is" "young" "+")
((triple4 ((triple3 triple4) -> (rule4 % int2)) triple5) -> (rule2 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is not young.
False
6
inv-proof
[(((triple4 ((triple3 triple4) -> rule4) triple5) -> rule2))]
("Fred" "is" "young" "-")
((triple4 ((triple3 triple4) -> (rule4 % int2)) triple5) -> (rule2 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is big.
True
8
proof
[(((((triple4 ((triple3 triple4) -> rule4) triple5) -> rule2) triple4) -> rule3))]
("Fred" "is" "big" "+")
((((triple4 ((triple3 triple4) -> (rule4 % int3)) triple5) -> (rule2 % int2)) triple4) -> (rule3 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Fred is not big.
False
8
inv-proof
[(((((triple4 ((triple3 triple4) -> rule4) triple5) -> rule2) triple4) -> rule3))]
("Fred" "is" "big" "-")
((((triple4 ((triple3 triple4) -> (rule4 % int3)) triple5) -> (rule2 % int2)) triple4) -> (rule3 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "blue" "-")
Gary is rough.
Unknown
rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "rough" "+")
Eric is not rough.
Unknown
inv-rconc
[@1: Eric is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "rough" "-")
Eric is big.
Unknown
rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "big" "+")
Eric is not red.
Unknown
inv-random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
Fred is not red.
Unknown
inv-random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
@0: Dave is young.[(triple1)] Eric is blue.[(triple2)] Fred is blue.[(triple6 OR ((((triple3 triple4) -> rule4) triple3 ((((triple4 ((triple3 triple4) -> rule4) triple5) -> rule2) triple4) -> rule3)) -> rule1))] Fred is cold.[(triple5)] Fred is kind.[(triple4)] Fred is round.[(triple3)] Gary is cold.[(triple7)] @1: Fred is rough.[(((triple3 triple4) -> rule4))] @2: Fred is young.[(((triple4 ((triple3 triple4) -> rule4) triple5) -> rule2))] @3: Fred is big.[(((((triple4 ((triple3 triple4) -> rule4) triple5) -> rule2) triple4) -> rule3))]
Dave is young.
("Dave" "is" "young" "+")
triple1
Eric is blue.
("Eric" "is" "blue" "+")
triple2
Fred is blue.
("Fred" "is" "blue" "+")
triple6
((((triple3 triple4) -> (rule4 % int4)) triple3 ((((triple4 ((triple3 triple4) -> (rule4 % int4)) triple5) -> (rule2 % int3)) triple4) -> (rule3 % int2))) -> (rule1 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
int4
Fred is cold.
("Fred" "is" "cold" "+")
triple5
Fred is kind.
("Fred" "is" "kind" "+")
triple4
Fred is round.
("Fred" "is" "round" "+")
triple3
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Fred is rough.
("Fred" "is" "rough" "+")
((triple3 triple4) -> (rule4 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
((triple4 ((triple3 triple4) -> (rule4 % int2)) triple5) -> (rule2 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
((((triple4 ((triple3 triple4) -> (rule4 % int3)) triple5) -> (rule2 % int2)) triple4) -> (rule3 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
int3
Dave was born only a few years ago so he is young.
Eric wears all blue.
Fred is a round fellow, but he is kind, even when he is so cold he turns blue.
In the snow sits Gary, crying from being cold.
People who are rough, round in shape, and big in stature are usuallu blue in color.
Though their hands were rough and cold they were also kind, which is how I could tell that they were young.
If a person is young and very kind then they will be rather big.
It's always true that round, kind people are rough as well.