Bob is a nice person, but he is both blue and red. Both green but also blue, Charlie is nice and kind while being cold. Dave is big and tends to wear red shirts. Harry is both young and fairly round in size. Kind people that are rough and round are also considered big. Round, blue, and green people are poften rough. Watch out for the rough and round kind people for they cold to others. Big people who are round in stature and also feel rough are often cold to other people. If someone is green skinned and has a big nose then you'll find that they often are nice to their family. Incredible as it may seem, young people who are red and have kind attitudes are always round. A very nice and kind person will also be round shaped.
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is big.
("Dave" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
If someone is rough and kind and round then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is blue and green and round then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and round and kind then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and rough and round then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and big then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and red and kind then they are round.
((("someone" "is" "young" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and kind then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
Charlie is kind.
True
1
proof
[(triple5)]
("Charlie" "is" "kind" "+")
triple5
Bob is not nice.
False
1
inv-proof
[(triple2)]
("Bob" "is" "nice" "-")
triple2
Charlie is round.
True
3
proof
[(((triple4 triple5) -> rule7))]
("Charlie" "is" "round" "+")
((triple4 triple5) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is not round.
False
3
inv-proof
[(((triple4 triple5) -> rule7))]
("Charlie" "is" "round" "-")
((triple4 triple5) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is rough.
True
6
proof
[(((triple8 triple6 ((triple4 triple5) -> rule7)) -> rule2))]
("Charlie" "is" "rough" "+")
((triple8 triple6 ((triple4 triple5) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is not rough.
False
6
inv-proof
[(((triple8 triple6 ((triple4 triple5) -> rule7)) -> rule2))]
("Charlie" "is" "rough" "-")
((triple8 triple6 ((triple4 triple5) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is big.
True
11
proof
[(((((triple8 triple6 ((triple4 triple5) -> rule7)) -> rule2) triple5 ((triple4 triple5) -> rule7)) -> rule1))]
("Charlie" "is" "big" "+")
((((triple8 triple6 ((triple4 triple5) -> (rule7 % int3))) -> (rule2 % int2)) triple5 ((triple4 triple5) -> (rule7 % int3))) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is not big.
False
11
inv-proof
[(((((triple8 triple6 ((triple4 triple5) -> rule7)) -> rule2) triple5 ((triple4 triple5) -> rule7)) -> rule1))]
("Charlie" "is" "big" "-")
((((triple8 triple6 ((triple4 triple5) -> (rule7 % int3))) -> (rule2 % int2)) triple5 ((triple4 triple5) -> (rule7 % int3))) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "nice" "-")
Dave is cold.
Unknown
rconc
[@2: Dave is cold.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Dave" "is" "cold" "+")
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "big" "-")
Bob is round.
Unknown
rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "round" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Bob is blue.[(triple3)] Bob is nice.[(triple2)] Bob is red.[(triple1)] Charlie is blue.[(triple8)] Charlie is cold.[(triple7 OR ((((triple8 triple6 ((triple4 triple5) -> rule7)) -> rule2) ((triple4 triple5) -> rule7) triple5) -> rule3) OR ((((((triple8 triple6 ((triple4 triple5) -> rule7)) -> rule2) triple5 ((triple4 triple5) -> rule7)) -> rule1) ((triple8 triple6 ((triple4 triple5) -> rule7)) -> rule2) ((triple4 triple5) -> rule7)) -> rule4))] Charlie is green.[(triple6)] Charlie is kind.[(triple5)] Charlie is nice.[(triple4)] Dave is big.[(triple10)] Dave is red.[(triple9)] Harry is round.[(triple12)] Harry is young.[(triple11)] @1: Charlie is round.[(((triple4 triple5) -> rule7))] @2: Charlie is rough.[(((triple8 triple6 ((triple4 triple5) -> rule7)) -> rule2))] @3: Charlie is big.[(((((triple8 triple6 ((triple4 triple5) -> rule7)) -> rule2) triple5 ((triple4 triple5) -> rule7)) -> rule1))]
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is red.
("Bob" "is" "red" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple8
Charlie is cold.
("Charlie" "is" "cold" "+")
triple7
((((triple8 triple6 ((triple4 triple5) -> (rule7 % int3))) -> (rule2 % int2)) ((triple4 triple5) -> (rule7 % int3)) triple5) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
((((((triple8 triple6 ((triple4 triple5) -> (rule7 % int4))) -> (rule2 % int3)) triple5 ((triple4 triple5) -> (rule7 % int4))) -> (rule1 % int2)) ((triple8 triple6 ((triple4 triple5) -> (rule7 % int4))) -> (rule2 % int3)) ((triple4 triple5) -> (rule7 % int4))) -> (rule4 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Dave is big.
("Dave" "is" "big" "+")
triple10
Dave is red.
("Dave" "is" "red" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple12
Harry is young.
("Harry" "is" "young" "+")
triple11
Charlie is round.
("Charlie" "is" "round" "+")
((triple4 triple5) -> (rule7 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple8 triple6 ((triple4 triple5) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
((((triple8 triple6 ((triple4 triple5) -> (rule7 % int3))) -> (rule2 % int2)) triple5 ((triple4 triple5) -> (rule7 % int3))) -> (rule1 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Bob is a nice person, but he is both blue and red.
Both green but also blue, Charlie is nice and kind while being cold.
Dave is big and tends to wear red shirts.
Harry is both young and fairly round in size.
Kind people that are rough and round are also considered big.
Round, blue, and green people are poften rough.
Watch out for the rough and round kind people for they cold to others.
Big people who are round in stature and also feel rough are often cold to other people.
If someone is green skinned and has a big nose then you'll find that they often are nice to their family.
Incredible as it may seem, young people who are red and have kind attitudes are always round.
A very nice and kind person will also be round shaped.