Dave is young and round, he is also green. Eric is too young to be so big. Some say he is too green to be so blue as well. Red Fred is what folks call him, because he is quite red. Nice, but round, Harry has been said to be cold. Their actions reflected how young and kind but green they were making things seem blue. Nice green people and often blue with sadness. As far as anyone can tell, whoever is kind, rough, and big is a round person. Because of the person's young age they are feeling blue due to their big body size causing them to act in a slightly rough manner. People who are rough are often rather kind as well.
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is green.
("Dave" "is" "green" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is red.
("Fred" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is young and kind and green then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and nice then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and rough and big then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is young and big and blue then they are rough.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough then they are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Eric is green.
True
1
proof
[(triple5)]
("Eric" "is" "green" "+")
triple5
Dave is not round.
False
1
inv-proof
[(triple2)]
("Dave" "is" "round" "-")
triple2
Eric is rough.
True
4
proof
[(((triple4 triple7 triple6) -> rule4))]
("Eric" "is" "rough" "+")
((triple4 triple7 triple6) -> (rule4 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is not rough.
False
4
inv-proof
[(((triple4 triple7 triple6) -> rule4))]
("Eric" "is" "rough" "-")
((triple4 triple7 triple6) -> (rule4 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is kind.
True
5
proof
[(((((triple4 triple7 triple6) -> rule4)) -> rule5))]
("Eric" "is" "kind" "+")
((((triple4 triple7 triple6) -> (rule4 % int2))) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is not kind.
False
5
inv-proof
[(((((triple4 triple7 triple6) -> rule4)) -> rule5))]
("Eric" "is" "kind" "-")
((((triple4 triple7 triple6) -> (rule4 % int2))) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is round.
True
11
proof
[(((((((triple4 triple7 triple6) -> rule4)) -> rule5) ((triple4 triple7 triple6) -> rule4) triple7) -> rule3))]
("Eric" "is" "round" "+")
((((((triple4 triple7 triple6) -> (rule4 % int3))) -> (rule5 % int2)) ((triple4 triple7 triple6) -> (rule4 % int3)) triple7) -> (rule3 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is not round.
False
11
inv-proof
[(((((((triple4 triple7 triple6) -> rule4)) -> rule5) ((triple4 triple7 triple6) -> rule4) triple7) -> rule3))]
("Eric" "is" "round" "-")
((((((triple4 triple7 triple6) -> (rule4 % int3))) -> (rule5 % int2)) ((triple4 triple7 triple6) -> (rule4 % int3)) triple7) -> (rule3 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Fred is not blue.
Unknown
inv-rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "blue" "-")
Harry is kind.
Unknown
rconc
[@2: Harry is kind.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Harry" "is" "kind" "+")
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "blue" "-")
Dave is blue.
Unknown
rconc
[@3: Dave is blue.[CWA. Example of deepest failure = (rule1 <- rule5 <- rule4 <- FAIL)]]
("Dave" "is" "blue" "+")
Eric is not red.
Unknown
inv-random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "-")
Eric is nice.
Unknown
random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "+")
Fred is not nice.
Unknown
inv-random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Dave is green.[(triple3)] Dave is round.[(triple2)] Dave is young.[(triple1)] Eric is big.[(triple7)] Eric is blue.[(triple6)] Eric is green.[(triple5)] Eric is young.[(triple4)] Fred is red.[(triple8)] Harry is cold.[(triple11)] Harry is nice.[(triple10)] Harry is round.[(triple9)] @1: Eric is rough.[(((triple4 triple7 triple6) -> rule4))] @2: Eric is kind.[(((((triple4 triple7 triple6) -> rule4)) -> rule5))] @3: Eric is round.[(((((((triple4 triple7 triple6) -> rule4)) -> rule5) ((triple4 triple7 triple6) -> rule4) triple7) -> rule3))]
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple7
Eric is blue.
("Eric" "is" "blue" "+")
triple6
Eric is green.
("Eric" "is" "green" "+")
triple5
Eric is young.
("Eric" "is" "young" "+")
triple4
Fred is red.
("Fred" "is" "red" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple9
Eric is rough.
("Eric" "is" "rough" "+")
((triple4 triple7 triple6) -> (rule4 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((((triple4 triple7 triple6) -> (rule4 % int2))) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is round.
("Eric" "is" "round" "+")
((((((triple4 triple7 triple6) -> (rule4 % int3))) -> (rule5 % int2)) ((triple4 triple7 triple6) -> (rule4 % int3)) triple7) -> (rule3 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Dave is young and round, he is also green.
Eric is too young to be so big; Some say he is too green to be so blue as well.
Red Fred is what folks call him, because he is quite red.
Nice, but round, Harry has been said to be cold.
Their actions reflected how young and kind but green they were making things seem blue.
Nice green people and often blue with sadness.
As far as anyone can tell, whoever is kind, rough, and big is a round person.
Because of the person's young age they are feeling blue due to their big body size causing them to act in a slightly rough manner.
People who are rough are often rather kind as well.