Dave was known for being kind, a bit big and round and for playing rough when he was young. Eric is a big gentleman who is very nice. He is secretly green with envy. Big Fred, the most blue guy I know while also being cold. In the snow sits Harry, crying from being cold. A red colored person will be rough textured and will be blue. Someone who is colored both in red and green, while being kind to others, is a round person. Anyone who's got young, round and big traits is bound to have a red trait, too. A person with the qualities of being cold and being red will also be a person that is green. Blue and red people who are young always have rough skin. Anyone who's blue is also green. People who are nice and kind are somewhat young.
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is red and rough then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is red and green and kind then they are round.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is young and big and round then they are red.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is cold and red then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and red and young then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue then they are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and nice then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
Dave is young.
True
1
proof
[(triple1)]
("Dave" "is" "young" "+")
triple1
Dave is not kind.
False
1
inv-proof
[(triple4)]
("Dave" "is" "kind" "-")
triple4
Fred is green.
True
2
proof
[(((triple10) -> rule6))]
("Fred" "is" "green" "+")
((triple10) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is not green.
False
2
inv-proof
[(((triple10) -> rule6))]
("Fred" "is" "green" "-")
((triple10) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Dave is blue.
True
6
proof
[(((((triple1 triple5 triple2) -> rule3) triple3) -> rule1))]
("Dave" "is" "blue" "+")
((((triple1 triple5 triple2) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is not blue.
False
6
inv-proof
[(((((triple1 triple5 triple2) -> rule3) triple3) -> rule1))]
("Dave" "is" "blue" "-")
((((triple1 triple5 triple2) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is green.
True
7
proof
[(((((((triple1 triple5 triple2) -> rule3) triple3) -> rule1)) -> rule6))]
("Dave" "is" "green" "+")
((((((triple1 triple5 triple2) -> (rule3 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave is not green.
False
7
inv-proof
[(((((((triple1 triple5 triple2) -> rule3) triple3) -> rule1)) -> rule6))]
("Dave" "is" "green" "-")
((((((triple1 triple5 triple2) -> (rule3 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Harry is not rough.
Unknown
inv-rconc
[@2: Harry is rough.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("Harry" "is" "rough" "-")
Harry is blue.
Unknown
rconc
[@2: Harry is blue.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Harry" "is" "blue" "+")
Eric is not young.
Unknown
inv-rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Eric" "is" "young" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "round" "+")
Fred is not kind.
Unknown
inv-random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "-")
Eric is cold.
Unknown
random
[@0: Eric is cold.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "cold" "+")
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Dave is big.[(triple5)] Dave is kind.[(triple4)] Dave is rough.[(triple3)] Dave is round.[(triple2)] Dave is young.[(triple1)] Eric is big.[(triple8)] Eric is green.[(triple7)] Eric is nice.[(triple6)] Fred is big.[(triple11)] Fred is blue.[(triple10)] Fred is cold.[(triple9)] Harry is cold.[(triple12)] @1: Dave is red.[(((triple1 triple5 triple2) -> rule3))] Fred is green.[(((triple10) -> rule6))] @2: Dave is blue.[(((((triple1 triple5 triple2) -> rule3) triple3) -> rule1))] @3: Dave is green.[(((((((triple1 triple5 triple2) -> rule3) triple3) -> rule1)) -> rule6))]
Dave is big.
("Dave" "is" "big" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple3
Dave is round.
("Dave" "is" "round" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple8
Eric is green.
("Eric" "is" "green" "+")
triple7
Eric is nice.
("Eric" "is" "nice" "+")
triple6
Fred is big.
("Fred" "is" "big" "+")
triple11
Fred is blue.
("Fred" "is" "blue" "+")
triple10
Fred is cold.
("Fred" "is" "cold" "+")
triple9
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Dave is red.
("Dave" "is" "red" "+")
((triple1 triple5 triple2) -> (rule3 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
((triple10) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((((triple1 triple5 triple2) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is red.
("Dave" "is" "red" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
((((((triple1 triple5 triple2) -> (rule3 % int3)) triple3) -> (rule1 % int2))) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
int3
Dave was known for being kind, a bit big and round and for playing rough when he was young.
Eric is a big gentleman who is very nice; He is secretly green with envy.
Big Fred, the most blue guy I know while also being cold.
In the snow sits Harry, crying from being cold.
A red colored person will be rough textured and will be blue.
Someone who is colored both in red and green, while being kind to others, is a round person.
Anyone who's got young, round and big traits is bound to have a red trait, too.
A person with the qualities of being cold and being red will also be a person that is green.
Blue and red people who are young always have rough skin.
Anyone who's blue is also green.
People who are nice and kind are somewhat young.