Charlie wears all blue. Dave is nice person, who was red colored due to a sunburn, was feeling rough because he is cold. Big Eric is nice and red with sunburn and green hair. Harry was looking rather round and feeling rather cold, but people thought he is kind. Find a big human that is colored red and green and he will be amazingly kind. Any cold, round, green person is going to be young at the same time. If you are green you are also kind. A person with the qualities of being cold and being red will also be a person that is green. Whenever you see Pete you run into a young man rough, which means he will be nice. People who are considered rough, blue, and nice, are also green. Kind people, for example, like the ones at the bank are always blue.
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is cold.
("Harry" "is" "cold" "+")
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 cold and round and green then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is green then they are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and red then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is young and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and blue and nice then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is kind then they are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
Harry is kind.
True
1
proof
[(triple11)]
("Harry" "is" "kind" "+")
triple11
Dave is not nice.
False
1
inv-proof
[(triple4)]
("Dave" "is" "nice" "-")
triple4
Eric is kind.
True
2
proof
[(((triple8) -> rule3) OR ((triple9 triple6 triple8) -> rule1))]
("Eric" "is" "kind" "+")
((triple8) -> (rule3 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
((triple9 triple6 triple8) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Dave is not green.
False
3
inv-proof
[(((triple5 triple3) -> rule4))]
("Dave" "is" "green" "-")
((triple5 triple3) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is kind.
True
4
proof
[(((((triple5 triple3) -> rule4)) -> rule3))]
("Dave" "is" "kind" "+")
((((triple5 triple3) -> (rule4 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Eric is not blue.
False
3
inv-proof
[(((((triple8) -> rule3)) -> rule7) OR ((((triple9 triple6 triple8) -> rule1)) -> rule7))]
("Eric" "is" "blue" "-")
((((triple8) -> (rule3 % int2))) -> (rule7 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
((((triple9 triple6 triple8) -> (rule1 % int2))) -> (rule7 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Dave is blue.
True
5
proof
[(((((((triple5 triple3) -> rule4)) -> rule3)) -> rule7))]
("Dave" "is" "blue" "+")
((((((triple5 triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is not blue.
False
5
inv-proof
[(((((((triple5 triple3) -> rule4)) -> rule3)) -> rule7))]
("Dave" "is" "blue" "-")
((((((triple5 triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "green" "-")
Charlie is nice.
Unknown
rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "nice" "+")
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "young" "-")
Harry is green.
Unknown
rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "green" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Charlie is blue.[(triple1)] Dave is cold.[(triple5)] Dave is nice.[(triple4)] Dave is red.[(triple3)] Dave is rough.[(triple2)] Eric is big.[(triple9)] Eric is green.[(triple8)] Eric is nice.[(triple7)] Eric is red.[(triple6)] Harry is cold.[(triple12)] Harry is kind.[(triple11)] Harry is round.[(triple10)] @1: Dave is green.[(((triple5 triple3) -> rule4))] Eric is kind.[(((triple8) -> rule3) OR ((triple9 triple6 triple8) -> rule1))] Harry is blue.[(((triple11) -> rule7))] @2: Dave is kind.[(((((triple5 triple3) -> rule4)) -> rule3))] Eric is blue.[(((((triple8) -> rule3)) -> rule7) OR ((((triple9 triple6 triple8) -> rule1)) -> rule7))] @3: Dave is blue.[(((((((triple5 triple3) -> rule4)) -> rule3)) -> rule7))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Eric is big.
("Eric" "is" "big" "+")
triple9
Eric is green.
("Eric" "is" "green" "+")
triple8
Eric is nice.
("Eric" "is" "nice" "+")
triple7
Eric is red.
("Eric" "is" "red" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple10
Dave is green.
("Dave" "is" "green" "+")
((triple5 triple3) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((triple8) -> (rule3 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
((triple9 triple6 triple8) -> (rule1 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple11) -> (rule7 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((((triple5 triple3) -> (rule4 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Eric is blue.
("Eric" "is" "blue" "+")
((((triple8) -> (rule3 % int2))) -> (rule7 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
((((triple9 triple6 triple8) -> (rule1 % int2))) -> (rule7 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
((((((triple5 triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Charlie wears all blue.
Dave is nice person, who was red colored due to a sunburn, was feeling rough because he is cold.
Big Eric is nice and red with sunburn and green hair.
Harry was looking rather round and feeling rather cold, but people thought he is kind.
Find a big human that is colored red and green and he will be amazingly kind.
Any cold, round, green person is going to be young at the same time.
If you are green you are also kind.
A person with the qualities of being cold and being red will also be a person that is green.
Whenever you see Pete you run into a young man rough, which means he will be nice.
People who are considered rough, blue, and nice, are also green.
Kind people, for example, like the ones at the bank are always blue.