Dave is both young and fairly round in size. Eric is still young which means he can be rough and cold. He is a big boy with red hair. Fred always goes out of his way to show that he is kind to people. Harry always goes out of his way to show that he is kind to people. Find a big human that is colored red and green and he will be amazingly kind. Rough and kind people are big. Anyone that's rough and cold is also going to be blue. When someone feels blue and rough, they might be described as green. Nice people that are colored red and green are always round.
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is big and red and green then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and kind then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and rough then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and rough then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is green and red and nice then they are round.
((("someone" "is" "green" "+") ("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
Fred is kind.
True
1
proof
[(triple8)]
("Fred" "is" "kind" "+")
triple8
Eric is not young.
False
1
inv-proof
[(triple3)]
("Eric" "is" "young" "-")
triple3
Eric is blue.
True
3
proof
[(((triple6 triple4) -> rule3))]
("Eric" "is" "blue" "+")
((triple6 triple4) -> (rule3 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is not blue.
False
3
inv-proof
[(((triple6 triple4) -> rule3))]
("Eric" "is" "blue" "-")
((triple6 triple4) -> (rule3 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is green.
True
5
proof
[(((((triple6 triple4) -> rule3) triple4) -> rule4))]
("Eric" "is" "green" "+")
((((triple6 triple4) -> (rule3 % int2)) triple4) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is not green.
False
5
inv-proof
[(((((triple6 triple4) -> rule3) triple4) -> rule4))]
("Eric" "is" "green" "-")
((((triple6 triple4) -> (rule3 % int2)) triple4) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is kind.
True
8
proof
[(((triple7 triple5 ((((triple6 triple4) -> rule3) triple4) -> rule4)) -> rule1))]
("Eric" "is" "kind" "+")
((triple7 triple5 ((((triple6 triple4) -> (rule3 % int3)) triple4) -> (rule4 % int2))) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Eric is not kind.
False
8
inv-proof
[(((triple7 triple5 ((((triple6 triple4) -> rule3) triple4) -> rule4)) -> rule1))]
("Eric" "is" "kind" "-")
((triple7 triple5 ((((triple6 triple4) -> (rule3 % int3)) triple4) -> (rule4 % int2))) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "round" "-")
Harry is big.
Unknown
rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "big" "+")
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "green" "-")
Fred is big.
Unknown
rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "big" "+")
Eric is not nice.
Unknown
inv-random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Dave is round.[(triple2)] Dave is young.[(triple1)] Eric is big.[(triple7)] Eric is cold.[(triple6)] Eric is red.[(triple5)] Eric is rough.[(triple4)] Eric is young.[(triple3)] Fred is kind.[(triple8)] Harry is kind.[(triple9)] @1: Eric is blue.[(((triple6 triple4) -> rule3))] @2: Eric is green.[(((((triple6 triple4) -> rule3) triple4) -> rule4))] @3: Eric is kind.[(((triple7 triple5 ((((triple6 triple4) -> rule3) triple4) -> rule4)) -> rule1))]
Dave is round.
("Dave" "is" "round" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple7
Eric is cold.
("Eric" "is" "cold" "+")
triple6
Eric is red.
("Eric" "is" "red" "+")
triple5
Eric is rough.
("Eric" "is" "rough" "+")
triple4
Eric is young.
("Eric" "is" "young" "+")
triple3
Fred is kind.
("Fred" "is" "kind" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Eric is blue.
("Eric" "is" "blue" "+")
((triple6 triple4) -> (rule3 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
((((triple6 triple4) -> (rule3 % int2)) triple4) -> (rule4 % int1))
Eric is green.
("Eric" "is" "green" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
((triple7 triple5 ((((triple6 triple4) -> (rule3 % int3)) triple4) -> (rule4 % int2))) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is green.
("Eric" "is" "green" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
int3
Dave is both young and fairly round in size.
Eric is still young which means he can be rough and cold; He is a big boy with red hair.
Fred always goes out of his way to show that he is kind to people.
Harry always goes out of his way to show that he is kind to people.
Find a big human that is colored red and green and he will be amazingly kind.
Rough and kind people are big.
Anyone that's rough and cold is also going to be blue.
When someone feels blue and rough, they might be described as green.
Nice people that are colored red and green are always round.