Charlie has a round face and is very nice. It's easy to tell that Eric is young because he is so round. Even though he is kind it makes him green with envy of some people. Gary was born only a few years ago so he is young. Harry looks big and is kind with red hair and green shoes. Kind people that are rough and round are also considered big. A kind red person is also a blue person. Red people who are also kind often turn out to be cold from standing outdoors too long. If red and slightly green people are asked, they will tell you they feel blue. Nice people are kind and rough when they are young. If you are big and young then your are also nice. Take a drive and find a kind and blue driver, that means they are also young.
If someone is rough and kind and round then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and red then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and red then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and red then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and kind and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is big and young then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and blue then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Harry is green.
True
1
proof
[(triple10)]
("Harry" "is" "green" "+")
triple10
Charlie is not round.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "round" "-")
triple1
Harry is cold.
True
3
proof
[(((triple9 triple8) -> rule3))]
("Harry" "is" "cold" "+")
((triple9 triple8) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is not cold.
False
3
inv-proof
[(((triple9 triple8) -> rule3))]
("Harry" "is" "cold" "-")
((triple9 triple8) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
True
5
proof
[(((triple9 ((triple10 triple8) -> rule4)) -> rule7) OR ((triple9 ((triple9 triple8) -> rule2)) -> rule7))]
("Harry" "is" "young" "+")
((triple9 ((triple10 triple8) -> (rule4 % int2))) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((triple9 ((triple9 triple8) -> (rule2 % int2))) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is not young.
False
5
inv-proof
[(((triple9 ((triple10 triple8) -> rule4)) -> rule7) OR ((triple9 ((triple9 triple8) -> rule2)) -> rule7))]
("Harry" "is" "young" "-")
((triple9 ((triple10 triple8) -> (rule4 % int2))) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((triple9 ((triple9 triple8) -> (rule2 % int2))) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is nice.
True
7
proof
[(((triple11 ((triple9 ((triple10 triple8) -> rule4)) -> rule7)) -> rule6) OR ((triple11 ((triple9 ((triple9 triple8) -> rule2)) -> rule7)) -> rule6))]
("Harry" "is" "nice" "+")
((triple11 ((triple9 ((triple10 triple8) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((triple11 ((triple9 ((triple9 triple8) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is not nice.
False
7
inv-proof
[(((triple11 ((triple9 ((triple10 triple8) -> rule4)) -> rule7)) -> rule6) OR ((triple11 ((triple9 ((triple9 triple8) -> rule2)) -> rule7)) -> rule6))]
("Harry" "is" "nice" "-")
((triple11 ((triple9 ((triple10 triple8) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((triple11 ((triple9 ((triple9 triple8) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "big" "-")
Eric is big.
Unknown
rconc
[@1: Eric is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "big" "+")
Eric is not blue.
Unknown
inv-rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Eric" "is" "blue" "-")
Eric is cold.
Unknown
rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "cold" "+")
Eric is not rough.
Unknown
inv-random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Charlie is nice.[(triple2)] Charlie is round.[(triple1)] Eric is green.[(triple6)] Eric is kind.[(triple5)] Eric is round.[(triple4)] Eric is young.[(triple3)] Gary is young.[(triple7)] Harry is big.[(triple11)] Harry is green.[(triple10)] Harry is kind.[(triple9)] Harry is red.[(triple8)] @1: Harry is blue.[(((triple10 triple8) -> rule4) OR ((triple9 triple8) -> rule2))] Harry is cold.[(((triple9 triple8) -> rule3))] @2: Harry is young.[(((triple9 ((triple10 triple8) -> rule4)) -> rule7) OR ((triple9 ((triple9 triple8) -> rule2)) -> rule7))] @3: Harry is nice.[(((triple11 ((triple9 ((triple10 triple8) -> rule4)) -> rule7)) -> rule6) OR ((triple11 ((triple9 ((triple9 triple8) -> rule2)) -> rule7)) -> rule6))]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Eric is green.
("Eric" "is" "green" "+")
triple6
Eric is kind.
("Eric" "is" "kind" "+")
triple5
Eric is round.
("Eric" "is" "round" "+")
triple4
Eric is young.
("Eric" "is" "young" "+")
triple3
Gary is young.
("Gary" "is" "young" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple8
Harry is blue.
("Harry" "is" "blue" "+")
((triple10 triple8) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((triple9 triple8) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple9 triple8) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple9 ((triple10 triple8) -> (rule4 % int2))) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((triple9 ((triple9 triple8) -> (rule2 % int2))) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
((triple11 ((triple9 ((triple10 triple8) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((triple11 ((triple9 ((triple9 triple8) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Charlie has a round face and is very nice.
It's easy to tell that Eric is young because he is so round; Even though he is kind it makes him green with envy of some people.
Gary was born only a few years ago so he is young.
Harry looks big and is kind with red hair and green shoes.
Kind people that are rough and round are also considered big.
A kind red person is also a blue person.
Red people who are also kind often turn out to be cold from standing outdoors too long.
If red and slightly green people are asked, they will tell you they feel blue.
Nice people are kind and rough when they are young.
If you are big and young then your are also nice.
Take a drive and find a kind and blue driver, that means they are also young.