Charlie is very young to be a nurse but he loves helping others because he is so nice and kind. Being new to the job, Eric is nice and green. Even though he is round he is red and cold out in the wind. Harry is a cold young man. He is prone the being blue with sadness because he is green with envy. Big, young people feel cold all the time. If you see someone who is red and green they are round, like Santa Claus. A young and cold person is red. A kind and green person who is rough around the edges is cold. Blue, young and round people are usually big.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is young and big then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is red and green then they are round.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and young then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is green and rough and kind then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and young and round then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
Eric is round.
True
1
proof
[(triple4 OR ((triple5 triple7) -> rule2))]
("Eric" "is" "round" "+")
triple4
((triple5 triple7) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Harry is not cold.
False
1
inv-proof
[(triple11)]
("Harry" "is" "cold" "-")
triple11
Harry is red.
True
3
proof
[(((triple11 triple9) -> rule3))]
("Harry" "is" "red" "+")
((triple11 triple9) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is not red.
False
3
inv-proof
[(((triple11 triple9) -> rule3))]
("Harry" "is" "red" "-")
((triple11 triple9) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
True
5
proof
[(((((triple11 triple9) -> rule3) triple10) -> rule2))]
("Harry" "is" "round" "+")
((((triple11 triple9) -> (rule3 % int2)) triple10) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is not round.
False
5
inv-proof
[(((((triple11 triple9) -> rule3) triple10) -> rule2))]
("Harry" "is" "round" "-")
((((triple11 triple9) -> (rule3 % int2)) triple10) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
True
8
proof
[(((triple12 triple9 ((((triple11 triple9) -> rule3) triple10) -> rule2)) -> rule5))]
("Harry" "is" "big" "+")
((triple12 triple9 ((((triple11 triple9) -> (rule3 % int3)) triple10) -> (rule2 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is not big.
False
8
inv-proof
[(((triple12 triple9 ((((triple11 triple9) -> rule3) triple10) -> rule2)) -> rule5))]
("Harry" "is" "big" "-")
((triple12 triple9 ((((triple11 triple9) -> (rule3 % int3)) triple10) -> (rule2 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "red" "-")
Charlie is red.
Unknown
rconc
[@3: Charlie is red.[CWA. Example of deepest failure = (rule3 <- rule1 <- rule5 <- FAIL)]]
("Charlie" "is" "red" "+")
Charlie is not cold.
Unknown
inv-rconc
[@2: Charlie is cold.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Charlie" "is" "cold" "-")
Bob is round.
Unknown
rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "round" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
Eric is not rough.
Unknown
inv-random
[@0: Eric is rough.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "rough" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Charlie is kind.[(triple3)] Charlie is nice.[(triple2)] Charlie is young.[(triple1)] Eric is cold.[(triple8)] Eric is green.[(triple7)] Eric is nice.[(triple6)] Eric is red.[(triple5)] Eric is round.[(triple4 OR ((triple5 triple7) -> rule2))] Harry is blue.[(triple12)] Harry is cold.[(triple11)] Harry is green.[(triple10)] Harry is young.[(triple9)] @1: Harry is red.[(((triple11 triple9) -> rule3))] @2: Harry is round.[(((((triple11 triple9) -> rule3) triple10) -> rule2))] @3: Harry is big.[(((triple12 triple9 ((((triple11 triple9) -> rule3) triple10) -> rule2)) -> rule5))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple8
Eric is green.
("Eric" "is" "green" "+")
triple7
Eric is nice.
("Eric" "is" "nice" "+")
triple6
Eric is red.
("Eric" "is" "red" "+")
triple5
Eric is round.
("Eric" "is" "round" "+")
triple4
((triple5 triple7) -> (rule2 % int1))
Eric is round.
("Eric" "is" "round" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
((triple11 triple9) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((((triple11 triple9) -> (rule3 % int2)) triple10) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((triple12 triple9 ((((triple11 triple9) -> (rule3 % int3)) triple10) -> (rule2 % int2))) -> (rule5 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Charlie is very young to be a nurse but he loves helping others because he is so nice and kind.
Being new to the job, Eric is nice and green; Even though he is round he is red and cold out in the wind.
Harry is a cold young man; He is prone the being blue with sadness because he is green with envy.
Big, young people feel cold all the time.
If you see someone who is red and green they are round, like Santa Claus.
A young and cold person is red.
A kind and green person who is rough around the edges is cold.
Blue, young and round people are usually big.