Bob always goes out of his way to show that he is kind to people. Blue and green Dave is so kind he snowplows the neighbors driveways and everyone thanks him with beer. Most people see Eric as round, albeit nice and big at the same time. Harry who is big in stature is almost always nice even when he is cold. Green and blue people have a habit of being cold, which makes them red too. A person who's big and kind will also be cold. A nice green person that tends to be rough will indeed be round too. Any green person is a round person. Somebody whose descriptors are nice, big and kind will also fit a young descriptor. You will discover that green rough people are always red. A person that is round, green, and blue is usually considered cold.
Bob is kind.
("Bob" "is" "kind" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is big.
("Eric" "is" "big" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is green and blue and cold then they are red.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is big and kind then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is green and nice and rough then they are round.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is green then they are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and big and kind then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is green and rough then they are red.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is round and green and blue then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
Eric is nice.
True
1
proof
[(triple6)]
("Eric" "is" "nice" "+")
triple6
Harry is not nice.
False
1
inv-proof
[(triple8)]
("Harry" "is" "nice" "-")
triple8
Dave is round.
True
2
proof
[(((triple3) -> rule4))]
("Dave" "is" "round" "+")
((triple3) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is not round.
False
2
inv-proof
[(((triple3) -> rule4))]
("Dave" "is" "round" "-")
((triple3) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is cold.
True
5
proof
[(((((triple3) -> rule4) triple3 triple4) -> rule7))]
("Dave" "is" "cold" "+")
((((triple3) -> (rule4 % int2)) triple3 triple4) -> (rule7 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is not cold.
False
5
inv-proof
[(((((triple3) -> rule4) triple3 triple4) -> rule7))]
("Dave" "is" "cold" "-")
((((triple3) -> (rule4 % int2)) triple3 triple4) -> (rule7 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is red.
True
8
proof
[(((triple3 triple4 ((((triple3) -> rule4) triple3 triple4) -> rule7)) -> rule1))]
("Dave" "is" "red" "+")
((triple3 triple4 ((((triple3) -> (rule4 % int3)) triple3 triple4) -> (rule7 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is not red.
False
8
inv-proof
[(((triple3 triple4 ((((triple3) -> rule4) triple3 triple4) -> rule7)) -> rule1))]
("Dave" "is" "red" "-")
((triple3 triple4 ((((triple3) -> (rule4 % int3)) triple3 triple4) -> (rule7 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "cold" "-")
Bob is red.
Unknown
rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "red" "+")
Eric is not red.
Unknown
inv-rconc
[@1: Eric is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Eric" "is" "red" "-")
Dave is young.
Unknown
rconc
[@1: Dave is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "young" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Harry is rough.
Unknown
random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "+")
Bob is not nice.
Unknown
inv-random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Bob is kind.[(triple1)] Dave is blue.[(triple4)] Dave is green.[(triple3)] Dave is kind.[(triple2)] Eric is big.[(triple7)] Eric is nice.[(triple6)] Eric is round.[(triple5)] Harry is big.[(triple10)] Harry is cold.[(triple9)] Harry is nice.[(triple8)] @1: Dave is round.[(((triple3) -> rule4))] @2: Dave is cold.[(((((triple3) -> rule4) triple3 triple4) -> rule7))] @3: Dave is red.[(((triple3 triple4 ((((triple3) -> rule4) triple3 triple4) -> rule7)) -> rule1))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Eric is big.
("Eric" "is" "big" "+")
triple7
Eric is nice.
("Eric" "is" "nice" "+")
triple6
Eric is round.
("Eric" "is" "round" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is nice.
("Harry" "is" "nice" "+")
triple8
Dave is round.
("Dave" "is" "round" "+")
((triple3) -> (rule4 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((((triple3) -> (rule4 % int2)) triple3 triple4) -> (rule7 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
((triple3 triple4 ((((triple3) -> (rule4 % int3)) triple3 triple4) -> (rule7 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Bob always goes out of his way to show that he is kind to people.
Blue and green Dave is so kind he snowplows the neighbors driveways and everyone thanks him with beer.
Most people see Eric as round, albeit nice and big at the same time.
Harry who is big in stature is almost always nice even when he is cold.
Green and blue people have a habit of being cold, which makes them red too.
A person who's big and kind will also be cold.
A nice green person that tends to be rough will indeed be round too.
Any green person is a round person.
Somebody whose descriptors are nice, big and kind will also fit a young descriptor.
You will discover that green rough people are always red.
A person that is round, green, and blue is usually considered cold.