Charlie is big and dresses in blue. Fred looks red to most people, with blue features. Harry is somewhat red,he is also very nice and kind, he is very big though. A round shaped and young aged person will be very cold. Kind and young people are round. Anyone that's rough and cold is also going to be blue. People who are blue and cold are red. An individual who is big and nice is also green. A kind person who look green and is round in shape is usually big in stature. There is a trend I've noticed if someone is nice, kind and big they are also young in appearance.
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is round and young then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and kind then they are round.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and rough then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and cold then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is big and nice then they are green.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is round and kind and green then they are big.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and kind and big then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
Harry is kind.
True
1
proof
[(triple7)]
("Harry" "is" "kind" "+")
triple7
Harry is not nice.
False
1
inv-proof
[(triple6)]
("Harry" "is" "nice" "-")
triple6
Harry is green.
True
3
proof
[(((triple8 triple6) -> rule5))]
("Harry" "is" "green" "+")
((triple8 triple6) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is not young.
False
4
inv-proof
[(((triple6 triple7 triple8) -> rule7))]
("Harry" "is" "young" "-")
((triple6 triple7 triple8) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
True
6
proof
[(((((triple6 triple7 triple8) -> rule7) triple7) -> rule2))]
("Harry" "is" "round" "+")
((((triple6 triple7 triple8) -> (rule7 % int2)) triple7) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is not round.
False
6
inv-proof
[(((((triple6 triple7 triple8) -> rule7) triple7) -> rule2))]
("Harry" "is" "round" "-")
((((triple6 triple7 triple8) -> (rule7 % int2)) triple7) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is cold.
True
11
proof
[(((((((triple6 triple7 triple8) -> rule7) triple7) -> rule2) ((triple6 triple7 triple8) -> rule7)) -> rule1))]
("Harry" "is" "cold" "+")
((((((triple6 triple7 triple8) -> (rule7 % int3)) triple7) -> (rule2 % int2)) ((triple6 triple7 triple8) -> (rule7 % int3))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is not cold.
False
11
inv-proof
[(((((((triple6 triple7 triple8) -> rule7) triple7) -> rule2) ((triple6 triple7 triple8) -> rule7)) -> rule1))]
("Harry" "is" "cold" "-")
((((((triple6 triple7 triple8) -> (rule7 % int3)) triple7) -> (rule2 % int2)) ((triple6 triple7 triple8) -> (rule7 % int3))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Fred is not young.
Unknown
inv-rconc
[@1: Fred is young.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fred" "is" "young" "-")
Fred is round.
Unknown
rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "round" "+")
Alan is not red.
Unknown
inv-rconc
[@2: Alan is red.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Alan" "is" "red" "-")
Alan is blue.
Unknown
rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "blue" "+")
Alan is not kind.
Unknown
inv-random
[@0: Alan is kind.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "kind" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
Alan is not rough.
Unknown
inv-random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "-")
Fred is kind.
Unknown
random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "+")
@0: Charlie is big.[(triple2)] Charlie is blue.[(triple1)] Fred is blue.[(triple4)] Fred is red.[(triple3)] Harry is big.[(triple8)] Harry is kind.[(triple7)] Harry is nice.[(triple6)] Harry is red.[(triple5)] @1: Harry is green.[(((triple8 triple6) -> rule5))] Harry is young.[(((triple6 triple7 triple8) -> rule7))] @2: Harry is round.[(((((triple6 triple7 triple8) -> rule7) triple7) -> rule2))] @3: Harry is cold.[(((((((triple6 triple7 triple8) -> rule7) triple7) -> rule2) ((triple6 triple7 triple8) -> rule7)) -> rule1))]
Charlie is big.
("Charlie" "is" "big" "+")
triple2
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Fred is blue.
("Fred" "is" "blue" "+")
triple4
Fred is red.
("Fred" "is" "red" "+")
triple3
Harry is big.
("Harry" "is" "big" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
triple6
Harry is red.
("Harry" "is" "red" "+")
triple5
Harry is green.
("Harry" "is" "green" "+")
((triple8 triple6) -> (rule5 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((triple6 triple7 triple8) -> (rule7 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((((triple6 triple7 triple8) -> (rule7 % int2)) triple7) -> (rule2 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((((((triple6 triple7 triple8) -> (rule7 % int3)) triple7) -> (rule2 % int2)) ((triple6 triple7 triple8) -> (rule7 % int3))) -> (rule1 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Charlie is big and dresses in blue.
Fred looks red to most people, with blue features.
Harry is somewhat red,he is also very nice and kind, he is very big though.
A round shaped and young aged person will be very cold.
Kind and young people are round.
Anyone that's rough and cold is also going to be blue.
People who are blue and cold are red.
An individual who is big and nice is also green.
A kind person who look green and is round in shape is usually big in stature.
There is a trend I've noticed if someone is nice, kind and big they are also young in appearance.