Charlie's a round guy, and a red and green guy. Having a round body that is very big makes Eric a kind hearted person that often feels green. Round Fred is big and red, but blue from the cold. Red and green people that are nice are cold to strangers. A person that is cold, blue and nice is also considered to be round. Red, big people can't help but be round as well. Anybody who is so cold that they are red and blue must be young. Someone who is very rough and big in size, and also has a round physique tend to be very cold. Being green and rough are signs that someone is big. A person who is red and green, will also tend to be round shaped and rough.
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is red and nice and green then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and blue and nice then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is red and big then they are round.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and red and cold then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and big and round then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and rough then they are big.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is round and green and red then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
Eric is green.
True
1
proof
[(triple6)]
("Eric" "is" "green" "+")
triple6
Fred is not red.
False
1
inv-proof
[(triple9)]
("Fred" "is" "red" "-")
triple9
Charlie is rough.
True
4
proof
[(((triple1 triple3 triple2) -> rule7))]
("Charlie" "is" "rough" "+")
((triple1 triple3 triple2) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is not rough.
False
4
inv-proof
[(((triple1 triple3 triple2) -> rule7))]
("Charlie" "is" "rough" "-")
((triple1 triple3 triple2) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is big.
True
6
proof
[(((triple3 ((triple1 triple3 triple2) -> rule7)) -> rule6))]
("Charlie" "is" "big" "+")
((triple3 ((triple1 triple3 triple2) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is not big.
False
6
inv-proof
[(((triple3 ((triple1 triple3 triple2) -> rule7)) -> rule6))]
("Charlie" "is" "big" "-")
((triple3 ((triple1 triple3 triple2) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
True
12
proof
[(((((triple1 triple3 triple2) -> rule7) ((triple3 ((triple1 triple3 triple2) -> rule7)) -> rule6) triple1) -> rule5))]
("Charlie" "is" "cold" "+")
((((triple1 triple3 triple2) -> (rule7 % int3)) ((triple3 ((triple1 triple3 triple2) -> (rule7 % int3))) -> (rule6 % int2)) triple1) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is not cold.
False
12
inv-proof
[(((((triple1 triple3 triple2) -> rule7) ((triple3 ((triple1 triple3 triple2) -> rule7)) -> rule6) triple1) -> rule5))]
("Charlie" "is" "cold" "-")
((((triple1 triple3 triple2) -> (rule7 % int3)) ((triple3 ((triple1 triple3 triple2) -> (rule7 % int3))) -> (rule6 % int2)) triple1) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "rough" "-")
Eric is cold.
Unknown
rconc
[@2: Eric is cold.[CWA. Example of deepest failure = (rule5 <- rule7 <- FAIL)]]
("Eric" "is" "cold" "+")
Fred is not rough.
Unknown
inv-rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fred" "is" "rough" "-")
Harry is cold.
Unknown
rconc
[@2: Harry is cold.[CWA. Example of deepest failure = (rule5 <- rule7 <- FAIL)]]
("Harry" "is" "cold" "+")
Eric is not nice.
Unknown
inv-random
[@0: Eric is nice.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "nice" "-")
Fred is green.
Unknown
random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "+")
Eric is not blue.
Unknown
inv-random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
@0: Charlie is green.[(triple3)] Charlie is red.[(triple2)] Charlie is round.[(triple1)] Eric is big.[(triple7)] Eric is green.[(triple6)] Eric is kind.[(triple5)] Eric is round.[(triple4)] Fred is big.[(triple12)] Fred is blue.[(triple11)] Fred is cold.[(triple10)] Fred is red.[(triple9)] Fred is round.[(triple8 OR ((triple9 triple12) -> rule3))] @1: Charlie is rough.[(((triple1 triple3 triple2) -> rule7))] Fred is young.[(((triple11 triple9 triple10) -> rule4))] @2: Charlie is big.[(((triple3 ((triple1 triple3 triple2) -> rule7)) -> rule6))] @3: Charlie is cold.[(((((triple1 triple3 triple2) -> rule7) ((triple3 ((triple1 triple3 triple2) -> rule7)) -> rule6) triple1) -> rule5))]
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple7
Eric is green.
("Eric" "is" "green" "+")
triple6
Eric is kind.
("Eric" "is" "kind" "+")
triple5
Eric is round.
("Eric" "is" "round" "+")
triple4
Fred is big.
("Fred" "is" "big" "+")
triple12
Fred is blue.
("Fred" "is" "blue" "+")
triple11
Fred is cold.
("Fred" "is" "cold" "+")
triple10
Fred is red.
("Fred" "is" "red" "+")
triple9
Fred is round.
("Fred" "is" "round" "+")
triple8
((triple9 triple12) -> (rule3 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple1 triple3 triple2) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
((triple11 triple9 triple10) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
((triple3 ((triple1 triple3 triple2) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
((((triple1 triple3 triple2) -> (rule7 % int3)) ((triple3 ((triple1 triple3 triple2) -> (rule7 % int3))) -> (rule6 % int2)) triple1) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie's a round guy, and a red and green guy.
Having a round body that is very big makes Eric a kind hearted person that often feels green.
Round Fred is big and red, but blue from the cold.
Red and green people that are nice are cold to strangers.
A person that is cold, blue and nice is also considered to be round.
Red, big people can't help but be round as well.
Anybody who is so cold that they are red and blue must be young.
Someone who is very rough and big in size, and also has a round physique tend to be very cold.
Being green and rough are signs that someone is big.
A person who is red and green, will also tend to be round shaped and rough.