Young Charlie knew he was round, but he hadn't realized how rough and kind he was. His green nature left him cold and numb to these facts. Dave is a nice round guy, which leads to him being red. Harry looks red to most people, with blue features. A male or female with rough, kind and round traits will surely have a nice quality, as well. Rough people are often always nice. Big and round people can't help but be cold all of the time. If a person behaves in a nice way while they are physically blue and big, they're definitely round. Sam is usually kind but a blue person, but lately he has been both green with envy and red with anger. Young people that are nice and green tend to be blue. If you meet somebody who is green, big and red you'll notice they are also blue.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is rough and kind and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough then they are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and round then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and blue and big then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is green and kind and blue then they are red.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is young and nice and green then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and big and red then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
Dave is red.
True
1
proof
[(triple8)]
("Dave" "is" "red" "+")
triple8
Dave is not nice.
False
1
inv-proof
[(triple9)]
("Dave" "is" "nice" "-")
triple9
Charlie is nice.
True
2
proof
[(((triple3) -> rule2) OR ((triple3 triple4 triple2) -> rule1))]
("Charlie" "is" "nice" "+")
((triple3) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple3 triple4 triple2) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is not nice.
False
2
inv-proof
[(((triple3) -> rule2) OR ((triple3 triple4 triple2) -> rule1))]
("Charlie" "is" "nice" "-")
((triple3) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple3 triple4 triple2) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
True
5
proof
[(((triple1 ((triple3) -> rule2) triple5) -> rule6) OR ((triple1 ((triple3 triple4 triple2) -> rule1) triple5) -> rule6))]
("Charlie" "is" "blue" "+")
((triple1 ((triple3) -> (rule2 % int2)) triple5) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((triple1 ((triple3 triple4 triple2) -> (rule1 % int2)) triple5) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is not blue.
False
5
inv-proof
[(((triple1 ((triple3) -> rule2) triple5) -> rule6) OR ((triple1 ((triple3 triple4 triple2) -> rule1) triple5) -> rule6))]
("Charlie" "is" "blue" "-")
((triple1 ((triple3) -> (rule2 % int2)) triple5) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((triple1 ((triple3 triple4 triple2) -> (rule1 % int2)) triple5) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is red.
True
8
proof
[(((triple5 triple4 ((triple1 ((triple3) -> rule2) triple5) -> rule6)) -> rule5) OR ((triple5 triple4 ((triple1 ((triple3 triple4 triple2) -> rule1) triple5) -> rule6)) -> rule5))]
("Charlie" "is" "red" "+")
((triple5 triple4 ((triple1 ((triple3) -> (rule2 % int3)) triple5) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((triple5 triple4 ((triple1 ((triple3 triple4 triple2) -> (rule1 % int3)) triple5) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is not red.
False
8
inv-proof
[(((triple5 triple4 ((triple1 ((triple3) -> rule2) triple5) -> rule6)) -> rule5) OR ((triple5 triple4 ((triple1 ((triple3 triple4 triple2) -> rule1) triple5) -> rule6)) -> rule5))]
("Charlie" "is" "red" "-")
((triple5 triple4 ((triple1 ((triple3) -> (rule2 % int3)) triple5) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((triple5 triple4 ((triple1 ((triple3 triple4 triple2) -> (rule1 % int3)) triple5) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "round" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "round" "+")
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "nice" "-")
Bob is nice.
Unknown
rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "nice" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Charlie is cold.[(triple6)] Charlie is green.[(triple5)] Charlie is kind.[(triple4)] Charlie is rough.[(triple3)] Charlie is round.[(triple2)] Charlie is young.[(triple1)] Dave is nice.[(triple9)] Dave is red.[(triple8)] Dave is round.[(triple7)] Harry is blue.[(triple11)] Harry is red.[(triple10)] @1: Charlie is nice.[(((triple3) -> rule2) OR ((triple3 triple4 triple2) -> rule1))] @2: Charlie is blue.[(((triple1 ((triple3) -> rule2) triple5) -> rule6) OR ((triple1 ((triple3 triple4 triple2) -> rule1) triple5) -> rule6))] @3: Charlie is red.[(((triple5 triple4 ((triple1 ((triple3) -> rule2) triple5) -> rule6)) -> rule5) OR ((triple5 triple4 ((triple1 ((triple3 triple4 triple2) -> rule1) triple5) -> rule6)) -> rule5))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Dave is nice.
("Dave" "is" "nice" "+")
triple9
Dave is red.
("Dave" "is" "red" "+")
triple8
Dave is round.
("Dave" "is" "round" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple10
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple3) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple3 triple4 triple2) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple1 ((triple3) -> (rule2 % int2)) triple5) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((triple1 ((triple3 triple4 triple2) -> (rule1 % int2)) triple5) -> (rule6 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
((triple5 triple4 ((triple1 ((triple3) -> (rule2 % int3)) triple5) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((triple5 triple4 ((triple1 ((triple3 triple4 triple2) -> (rule1 % int3)) triple5) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Young Charlie knew he was round, but he hadn't realized how rough and kind he was; His green nature left him cold and numb to these facts.
Dave is a nice round guy, which leads to him being red.
Harry looks red to most people, with blue features.
A male or female with rough, kind and round traits will surely have a nice quality, as well.
Rough people are often always nice.
Big and round people can't help but be cold all of the time.
If a person behaves in a nice way while they are physically blue and big, they're definitely round.
Sam is usually kind but a blue person, but lately he has been both green with envy and red with anger.
Young people that are nice and green tend to be blue.
If you meet somebody who is green, big and red you'll notice they are also blue.