Charlie is young and kind.  But he plays really rough with his friends. Fred is very cold but acts in a kind way to everyone despite being totally green here when he wears his red jacket. Big Harry is young and rough but also very nice in a green sorta way. Someone who is not kind, will see red and be cold, which leads them to always feel blue. A nice person who is always seen to be wearing green clothes will be rather big in size. When someone is young they can be nice and kind, but green in society. If you meet someone who is red and blue with a round shape, you can count on them being nice to you. People that are red and blue and green at the same time have a reason to be cold. Kind people, blue with sadness, and red with the first blushes of love are also found to be green with envy. Whenever you see Pete you run into a young man rough, which means he will be nice.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is kind and red and cold then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and nice then they are big.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and nice and young then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and red and round then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and blue and green then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and red and kind then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is young and rough then they are nice.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
Harry is rough.
True
1
proof
[(triple9)]
("Harry" "is" "rough" "+")
triple9
Harry is not nice.
False
1
inv-proof
[(triple10 OR ((triple8 triple9) -> rule7))]
("Harry" "is" "nice" "-")
triple10
((triple8 triple9) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Charlie is nice.
True
3
proof
[(((triple1 triple2) -> rule7))]
("Charlie" "is" "nice" "+")
((triple1 triple2) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is not nice.
False
3
inv-proof
[(((triple1 triple2) -> rule7))]
("Charlie" "is" "nice" "-")
((triple1 triple2) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
True
6
proof
[(((triple3 ((triple1 triple2) -> rule7) triple1) -> rule3))]
("Charlie" "is" "green" "+")
((triple3 ((triple1 triple2) -> (rule7 % int2)) triple1) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is not green.
False
6
inv-proof
[(((triple3 ((triple1 triple2) -> rule7) triple1) -> rule3))]
("Charlie" "is" "green" "-")
((triple3 ((triple1 triple2) -> (rule7 % int2)) triple1) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
True
10
proof
[(((((triple3 ((triple1 triple2) -> rule7) triple1) -> rule3) ((triple1 triple2) -> rule7)) -> rule2))]
("Charlie" "is" "big" "+")
((((triple3 ((triple1 triple2) -> (rule7 % int3)) triple1) -> (rule3 % int2)) ((triple1 triple2) -> (rule7 % int3))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is not big.
False
10
inv-proof
[(((((triple3 ((triple1 triple2) -> rule7) triple1) -> rule3) ((triple1 triple2) -> rule7)) -> rule2))]
("Charlie" "is" "big" "-")
((((triple3 ((triple1 triple2) -> (rule7 % int3)) triple1) -> (rule3 % int2)) ((triple1 triple2) -> (rule7 % int3))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Alan is not blue.
Unknown
inv-rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "blue" "-")
Harry is blue.
Unknown
rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "blue" "+")
Charlie is not blue.
Unknown
inv-rconc
[@1: Charlie is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "blue" "-")
Alan is big.
Unknown
rconc
[@2: Alan is big.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Alan" "is" "big" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Fred is round.
Unknown
random
[@0: Fred is round.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "round" "+")
Alan is not rough.
Unknown
inv-random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
@0: Charlie is kind.[(triple3)] Charlie is rough.[(triple2)] Charlie is young.[(triple1)] Fred is cold.[(triple7)] Fred is green.[(triple6 OR ((((triple5 triple4 triple7) -> rule1) triple4 triple5) -> rule6))] Fred is kind.[(triple5)] Fred is red.[(triple4)] Harry is big.[(triple12 OR ((triple11 triple10) -> rule2) OR ((triple11 ((triple8 triple9) -> rule7)) -> rule2))] Harry is green.[(triple11)] Harry is nice.[(triple10 OR ((triple8 triple9) -> rule7))] Harry is rough.[(triple9)] Harry is young.[(triple8)] @1: Charlie is nice.[(((triple1 triple2) -> rule7))] Fred is blue.[(((triple5 triple4 triple7) -> rule1))] @2: Charlie is green.[(((triple3 ((triple1 triple2) -> rule7) triple1) -> rule3))] @3: Charlie is big.[(((((triple3 ((triple1 triple2) -> rule7) triple1) -> rule3) ((triple1 triple2) -> rule7)) -> rule2))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Fred is cold.
("Fred" "is" "cold" "+")
triple7
Fred is green.
("Fred" "is" "green" "+")
triple6
((((triple5 triple4 triple7) -> (rule1 % int2)) triple4 triple5) -> (rule6 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
triple5
Fred is red.
("Fred" "is" "red" "+")
triple4
Harry is big.
("Harry" "is" "big" "+")
triple12
((triple11 triple10) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((triple11 ((triple8 triple9) -> (rule7 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple10
((triple8 triple9) -> (rule7 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple8
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple1 triple2) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Fred is blue.
("Fred" "is" "blue" "+")
((triple5 triple4 triple7) -> (rule1 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((triple3 ((triple1 triple2) -> (rule7 % int2)) triple1) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
((((triple3 ((triple1 triple2) -> (rule7 % int3)) triple1) -> (rule3 % int2)) ((triple1 triple2) -> (rule7 % int3))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is young and kind; But he plays really rough with his friends.
Fred is very cold but acts in a kind way to everyone despite being totally green here when he wears his red jacket.
Big Harry is young and rough but also very nice in a green sorta way.
Someone who is not kind, will see red and be cold, which leads them to always feel blue.
A nice person who is always seen to be wearing green clothes will be rather big in size.
When someone is young they can be nice and kind, but green in society.
If you meet someone who is red and blue with a round shape, you can count on them being nice to you.
People that are red and blue and green at the same time have a reason to be cold.
Kind people, blue with sadness, and red with the first blushes of love are also found to be green with envy.
Whenever you see Pete you run into a young man rough, which means he will be nice.