Charlie is a young man who is also kind, blue and rough. Eric is both young and fairly round in size. Gary is a person both green and big. Harry is both young and fairly round in size. Look for the blue and green people, they are kind and will give you directions if you're lost. Young people that are cold and round are necessarily big. Young,round people tend to be rough and big. A rough, big, and round person can't help but be kind as well. Young people are rough.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is round.
("Eric" "is" "round" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
If someone is blue and green then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and round and young then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and young and round then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and big and round then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone is young then they are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Gary is green.
True
1
proof
[(triple7)]
("Gary" "is" "green" "+")
triple7
Harry is not round.
False
1
inv-proof
[(triple10)]
("Harry" "is" "round" "-")
triple10
Harry is rough.
True
2
proof
[(((triple9) -> rule5))]
("Harry" "is" "rough" "+")
((triple9) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Eric is not rough.
False
2
inv-proof
[(((triple5) -> rule5))]
("Eric" "is" "rough" "-")
((triple5) -> (rule5 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Harry is big.
True
5
proof
[(((((triple9) -> rule5) triple9 triple10) -> rule3))]
("Harry" "is" "big" "+")
((((triple9) -> (rule5 % int2)) triple9 triple10) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Eric is not big.
False
5
inv-proof
[(((((triple5) -> rule5) triple5 triple6) -> rule3))]
("Eric" "is" "big" "-")
((((triple5) -> (rule5 % int2)) triple5 triple6) -> (rule3 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is kind.
True
9
proof
[(((((triple5) -> rule5) ((((triple5) -> rule5) triple5 triple6) -> rule3) triple6) -> rule4))]
("Eric" "is" "kind" "+")
((((triple5) -> (rule5 % int3)) ((((triple5) -> (rule5 % int3)) triple5 triple6) -> (rule3 % int2)) triple6) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Harry is not kind.
False
9
inv-proof
[(((((triple9) -> rule5) ((((triple9) -> rule5) triple9 triple10) -> rule3) triple10) -> rule4))]
("Harry" "is" "kind" "-")
((((triple9) -> (rule5 % int3)) ((((triple9) -> (rule5 % int3)) triple9 triple10) -> (rule3 % int2)) triple10) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "rough" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "big" "+")
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "kind" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
Harry is not red.
Unknown
inv-random
[@0: Harry is red.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "red" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Charlie is blue.[(triple4)] Charlie is kind.[(triple3)] Charlie is rough.[(triple2 OR ((triple1) -> rule5))] Charlie is young.[(triple1)] Eric is round.[(triple6)] Eric is young.[(triple5)] Gary is big.[(triple8)] Gary is green.[(triple7)] Harry is round.[(triple10)] Harry is young.[(triple9)] @1: Eric is rough.[(((triple5) -> rule5))] Harry is rough.[(((triple9) -> rule5))] @2: Eric is big.[(((((triple5) -> rule5) triple5 triple6) -> rule3))] Harry is big.[(((((triple9) -> rule5) triple9 triple10) -> rule3))] @3: Eric is kind.[(((((triple5) -> rule5) ((((triple5) -> rule5) triple5 triple6) -> rule3) triple6) -> rule4))] Harry is kind.[(((((triple9) -> rule5) ((((triple9) -> rule5) triple9 triple10) -> rule3) triple10) -> rule4))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
((triple1) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Eric is round.
("Eric" "is" "round" "+")
triple6
Eric is young.
("Eric" "is" "young" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple7
Harry is round.
("Harry" "is" "round" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple9
Eric is rough.
("Eric" "is" "rough" "+")
((triple5) -> (rule5 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple9) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
((((triple5) -> (rule5 % int2)) triple5 triple6) -> (rule3 % int1))
Eric is big.
("Eric" "is" "big" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((((triple9) -> (rule5 % int2)) triple9 triple10) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
((((triple5) -> (rule5 % int3)) ((((triple5) -> (rule5 % int3)) triple5 triple6) -> (rule3 % int2)) triple6) -> (rule4 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is big.
("Eric" "is" "big" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
((((triple9) -> (rule5 % int3)) ((((triple9) -> (rule5 % int3)) triple9 triple10) -> (rule3 % int2)) triple10) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Charlie is a young man who is also kind, blue and rough.
Eric is both young and fairly round in size.
Gary is a person both green and big.
Harry is both young and fairly round in size.
Look for the blue and green people, they are kind and will give you directions if you're lost.
Young people that are cold and round are necessarily big.
Young,round people tend to be rough and big.
A rough, big, and round person can't help but be kind as well.
Young people are rough.