Young Bob is wearing green pants. Upon meeting Dave, you'll notice he's green and kind. Eric is colored red and green. He is also young, rough and very cold. Even though Harry is green with envy he is nice with rosy red cheeks. A very kind and green colored person, who is also cold, will be nice. A big person who looks blue is also going to look young. Green people here that are also round and nice are always rough. People who are cold to others can also be nice and when they are it's a sure bet they are being big about it. Sam is usually kind but a blue person, but lately he has been both green with envy and red with anger. Young people that are red for any reason, may also act in a rough manner, but don't be surprised if they are ultimately blue. When you meet kind people they wont have a cold heart.
Bob is young.
("Bob" "is" "young" "+")
Bob is green.
("Bob" "is" "green" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is kind and green and cold then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and big then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and round and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and nice then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is green and kind and blue then they are red.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is red and young and rough then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind then they are cold.
((("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
Dave is green.
True
1
proof
[(triple4)]
("Dave" "is" "green" "+")
triple4
Harry is not green.
False
1
inv-proof
[(triple12)]
("Harry" "is" "green" "-")
triple12
Eric is blue.
True
4
proof
[(((triple7 triple5 triple6) -> rule6))]
("Eric" "is" "blue" "+")
((triple7 triple5 triple6) -> (rule6 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is not blue.
False
4
inv-proof
[(((triple7 triple5 triple6) -> rule6))]
("Eric" "is" "blue" "-")
((triple7 triple5 triple6) -> (rule6 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Dave is nice.
True
5
proof
[(((triple3 triple4 ((triple3) -> rule7)) -> rule1))]
("Dave" "is" "nice" "+")
((triple3 triple4 ((triple3) -> (rule7 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is not nice.
False
5
inv-proof
[(((triple3 triple4 ((triple3) -> rule7)) -> rule1))]
("Dave" "is" "nice" "-")
((triple3 triple4 ((triple3) -> (rule7 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is big.
True
8
proof
[(((((triple3) -> rule7) ((triple3 triple4 ((triple3) -> rule7)) -> rule1)) -> rule4))]
("Dave" "is" "big" "+")
((((triple3) -> (rule7 % int3)) ((triple3 triple4 ((triple3) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is not big.
False
8
inv-proof
[(((((triple3) -> rule7) ((triple3 triple4 ((triple3) -> rule7)) -> rule1)) -> rule4))]
("Dave" "is" "big" "-")
((((triple3) -> (rule7 % int3)) ((triple3 triple4 ((triple3) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is not young.
Unknown
inv-rconc
[@2: Dave is young.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("Dave" "is" "young" "-")
Dave is rough.
Unknown
rconc
[@1: Dave is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "rough" "+")
Bob is not blue.
Unknown
inv-rconc
[@2: Bob is blue.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Bob" "is" "blue" "-")
Harry is big.
Unknown
rconc
[@2: Harry is big.[CWA. Example of deepest failure = (rule4 <- rule7 <- FAIL)]]
("Harry" "is" "big" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
@0: Bob is green.[(triple2)] Bob is young.[(triple1)] Dave is green.[(triple4)] Dave is kind.[(triple3)] Eric is cold.[(triple9)] Eric is green.[(triple8)] Eric is red.[(triple7)] Eric is rough.[(triple6)] Eric is young.[(triple5)] Harry is green.[(triple12)] Harry is nice.[(triple11)] Harry is red.[(triple10)] @1: Dave is cold.[(((triple3) -> rule7))] Eric is blue.[(((triple7 triple5 triple6) -> rule6))] @2: Dave is nice.[(((triple3 triple4 ((triple3) -> rule7)) -> rule1))] @3: Dave is big.[(((((triple3) -> rule7) ((triple3 triple4 ((triple3) -> rule7)) -> rule1)) -> rule4))]
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple4
Dave is kind.
("Dave" "is" "kind" "+")
triple3
Eric is cold.
("Eric" "is" "cold" "+")
triple9
Eric is green.
("Eric" "is" "green" "+")
triple8
Eric is red.
("Eric" "is" "red" "+")
triple7
Eric is rough.
("Eric" "is" "rough" "+")
triple6
Eric is young.
("Eric" "is" "young" "+")
triple5
Harry is green.
("Harry" "is" "green" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple10
Dave is cold.
("Dave" "is" "cold" "+")
((triple3) -> (rule7 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((triple7 triple5 triple6) -> (rule6 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
((triple3 triple4 ((triple3) -> (rule7 % int2))) -> (rule1 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
((((triple3) -> (rule7 % int3)) ((triple3 triple4 ((triple3) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Young Bob is wearing green pants.
Upon meeting Dave, you'll notice he's green and kind.
Eric is colored red and green; He is also young, rough and very cold.
Even though Harry is green with envy he is nice with rosy red cheeks.
A very kind and green colored person, who is also cold, will be nice.
A big person who looks blue is also going to look young.
Green people here that are also round and nice are always rough.
People who are cold to others can also be nice and when they are it's a sure bet they are being big about it.
Sam is usually kind but a blue person, but lately he has been both green with envy and red with anger.
Young people that are red for any reason, may also act in a rough manner, but don't be surprised if they are ultimately blue.
When you meet kind people they wont have a cold heart.