Charlie who is big in stature and round in shape is kind even when he feels cold or rough due to sunburn turning him red. Fred is red when he is rough and blue when he is kind. Harry is both young and fairly round in size. A rough and kind person is big. Red, big people can't help but be round as well. A nice and kind person who is big sized will be cold. Every time I see a young blue nice person I know they are also red. Big, round, red people are always so young. Anyone perceived to be rough, cold and kind will also be nice. Nice people are kind and rough when they are young.
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
If someone is kind and rough then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is red and big then they are round.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and kind and big then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and young and blue then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is big and round and red then they are young.
((("someone" "is" "big" "+") ("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and cold and kind then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and kind and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
Fred is red.
True
1
proof
[(triple8)]
("Fred" "is" "red" "+")
triple8
Charlie is not red.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "red" "-")
triple3
Charlie is young.
True
4
proof
[(((triple6 triple1 triple3) -> rule5) OR ((triple6 ((triple3 triple6) -> rule2) triple3) -> rule5) OR ((((triple4 triple2) -> rule1) triple1 triple3) -> rule5) OR ((((triple2 triple5 triple4) -> rule6) triple4 triple2) -> rule7) OR ((((triple4 triple2) -> rule1) ((triple3 triple6) -> rule2) triple3) -> rule5) OR ((triple6 ((triple3 ((triple4 triple2) -> rule1)) -> rule2) triple3) -> rule5) OR ((((triple4 triple2) -> rule1) ((triple3 ((triple4 triple2) -> rule1)) -> rule2) triple3) -> rule5))]
("Charlie" "is" "young" "+")
((triple6 triple1 triple3) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((triple6 ((triple3 triple6) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple4 triple2) -> (rule1 % int2)) triple1 triple3) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple2 triple5 triple4) -> (rule6 % int2)) triple4 triple2) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple4 triple2) -> (rule1 % int3)) ((triple3 triple6) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((triple6 ((triple3 ((triple4 triple2) -> (rule1 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((triple4 triple2) -> (rule1 % int3)) ((triple3 ((triple4 triple2) -> (rule1 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is not young.
False
4
inv-proof
[(((triple6 triple1 triple3) -> rule5) OR ((triple6 ((triple3 triple6) -> rule2) triple3) -> rule5) OR ((((triple4 triple2) -> rule1) triple1 triple3) -> rule5) OR ((((triple2 triple5 triple4) -> rule6) triple4 triple2) -> rule7) OR ((((triple4 triple2) -> rule1) ((triple3 triple6) -> rule2) triple3) -> rule5) OR ((triple6 ((triple3 ((triple4 triple2) -> rule1)) -> rule2) triple3) -> rule5) OR ((((triple4 triple2) -> rule1) ((triple3 ((triple4 triple2) -> rule1)) -> rule2) triple3) -> rule5))]
("Charlie" "is" "young" "-")
((triple6 triple1 triple3) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((triple6 ((triple3 triple6) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple4 triple2) -> (rule1 % int2)) triple1 triple3) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple2 triple5 triple4) -> (rule6 % int2)) triple4 triple2) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple4 triple2) -> (rule1 % int3)) ((triple3 triple6) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((triple6 ((triple3 ((triple4 triple2) -> (rule1 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((triple4 triple2) -> (rule1 % int3)) ((triple3 ((triple4 triple2) -> (rule1 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Fred is round.
True
5
proof
[(((triple8 ((triple9 triple7) -> rule1)) -> rule2))]
("Fred" "is" "round" "+")
((triple8 ((triple9 triple7) -> (rule1 % int2))) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is not round.
False
5
inv-proof
[(((triple8 ((triple9 triple7) -> rule1)) -> rule2))]
("Fred" "is" "round" "-")
((triple8 ((triple9 triple7) -> (rule1 % int2))) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is young.
True
10
proof
[(((((triple9 triple7) -> rule1) ((triple8 ((triple9 triple7) -> rule1)) -> rule2) triple8) -> rule5))]
("Fred" "is" "young" "+")
((((triple9 triple7) -> (rule1 % int3)) ((triple8 ((triple9 triple7) -> (rule1 % int3))) -> (rule2 % int2)) triple8) -> (rule5 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is not young.
False
10
inv-proof
[(((((triple9 triple7) -> rule1) ((triple8 ((triple9 triple7) -> rule1)) -> rule2) triple8) -> rule5))]
("Fred" "is" "young" "-")
((((triple9 triple7) -> (rule1 % int3)) ((triple8 ((triple9 triple7) -> (rule1 % int3))) -> (rule2 % int2)) triple8) -> (rule5 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Alan is not big.
Unknown
inv-rconc
[@1: Alan is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "big" "-")
Harry is nice.
Unknown
rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "nice" "+")
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "red" "-")
Harry is cold.
Unknown
rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "cold" "+")
Alan is not green.
Unknown
inv-random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "-")
Alan is blue.
Unknown
random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "+")
Charlie is not blue.
Unknown
inv-random
[@0: Charlie is blue.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "blue" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
@0: Charlie is big.[(triple6 OR ((triple4 triple2) -> rule1))] Charlie is cold.[(triple5)] Charlie is kind.[(triple4)] Charlie is red.[(triple3)] Charlie is rough.[(triple2)] Charlie is round.[(triple1 OR ((triple3 triple6) -> rule2) OR ((triple3 ((triple4 triple2) -> rule1)) -> rule2))] Fred is blue.[(triple10)] Fred is kind.[(triple9)] Fred is red.[(triple8)] Fred is rough.[(triple7)] Harry is round.[(triple12)] Harry is young.[(triple11)] @1: Charlie is nice.[(((triple2 triple5 triple4) -> rule6))] Charlie is young.[(((triple6 triple1 triple3) -> rule5) OR ((triple6 ((triple3 triple6) -> rule2) triple3) -> rule5) OR ((((triple4 triple2) -> rule1) triple1 triple3) -> rule5) OR ((((triple2 triple5 triple4) -> rule6) triple4 triple2) -> rule7) OR ((((triple4 triple2) -> rule1) ((triple3 triple6) -> rule2) triple3) -> rule5) OR ((triple6 ((triple3 ((triple4 triple2) -> rule1)) -> rule2) triple3) -> rule5) OR ((((triple4 triple2) -> rule1) ((triple3 ((triple4 triple2) -> rule1)) -> rule2) triple3) -> rule5))] Fred is big.[(((triple9 triple7) -> rule1))] @2: Fred is round.[(((triple8 ((triple9 triple7) -> rule1)) -> rule2))] @3: Fred is young.[(((((triple9 triple7) -> rule1) ((triple8 ((triple9 triple7) -> rule1)) -> rule2) triple8) -> rule5))]
Charlie is big.
("Charlie" "is" "big" "+")
triple6
((triple4 triple2) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple1
((triple3 triple6) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((triple3 ((triple4 triple2) -> (rule1 % int2))) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
triple10
Fred is kind.
("Fred" "is" "kind" "+")
triple9
Fred is red.
("Fred" "is" "red" "+")
triple8
Fred is rough.
("Fred" "is" "rough" "+")
triple7
Harry is round.
("Harry" "is" "round" "+")
triple12
Harry is young.
("Harry" "is" "young" "+")
triple11
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple2 triple5 triple4) -> (rule6 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple6 triple1 triple3) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((triple6 ((triple3 triple6) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
((((triple4 triple2) -> (rule1 % int2)) triple1 triple3) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple2 triple5 triple4) -> (rule6 % int2)) triple4 triple2) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple4 triple2) -> (rule1 % int3)) ((triple3 triple6) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((triple6 ((triple3 ((triple4 triple2) -> (rule1 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((triple4 triple2) -> (rule1 % int3)) ((triple3 ((triple4 triple2) -> (rule1 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Fred is big.
("Fred" "is" "big" "+")
((triple9 triple7) -> (rule1 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
((triple8 ((triple9 triple7) -> (rule1 % int2))) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
((((triple9 triple7) -> (rule1 % int3)) ((triple8 ((triple9 triple7) -> (rule1 % int3))) -> (rule2 % int2)) triple8) -> (rule5 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Charlie who is big in stature and round in shape is kind even when he feels cold or rough due to sunburn turning him red.
Fred is red when he is rough and blue when he is kind.
Harry is both young and fairly round in size.
A rough and kind person is big.
Red, big people can't help but be round as well.
A nice and kind person who is big sized will be cold.
Every time I see a young blue nice person I know they are also red.
Big, round, red people are always so young.
Anyone perceived to be rough, cold and kind will also be nice.
Nice people are kind and rough when they are young.