Bob always goes out of his way to show that he is kind to people. People think that Dave is round. This might be because he is young and blue. Eric is both big and round, with blue features. When you first meet Gary you know he is young and big, but later you find out he is also, incredibly kind, cold and rough. A person that is cold, blue and nice is also considered to be round. A young, red person will certainly be cold. A big kind person that is red is almost always nice. If a person is quite big and also round then they are certainly rough too. People who are rough are often rather kind as well. People who are considered rough, blue, and nice, are also green. Take a drive and find a kind and blue driver, that means they are also young.
Bob is kind.
("Bob" "is" "kind" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is blue.
("Eric" "is" "blue" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is cold and blue and nice then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is red and young then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and red and big then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and round then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough then they are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and blue and nice then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and blue then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Dave is blue.
True
1
proof
[(triple4)]
("Dave" "is" "blue" "+")
triple4
Gary is not rough.
False
1
inv-proof
[(triple9)]
("Gary" "is" "rough" "-")
triple9
Eric is rough.
True
3
proof
[(((triple7 triple5) -> rule4))]
("Eric" "is" "rough" "+")
((triple7 triple5) -> (rule4 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is not rough.
False
3
inv-proof
[(((triple7 triple5) -> rule4))]
("Eric" "is" "rough" "-")
((triple7 triple5) -> (rule4 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is kind.
True
4
proof
[(((((triple7 triple5) -> rule4)) -> rule5))]
("Eric" "is" "kind" "+")
((((triple7 triple5) -> (rule4 % int2))) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is not kind.
False
4
inv-proof
[(((((triple7 triple5) -> rule4)) -> rule5))]
("Eric" "is" "kind" "-")
((((triple7 triple5) -> (rule4 % int2))) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is young.
True
6
proof
[(((((((triple7 triple5) -> rule4)) -> rule5) triple6) -> rule7))]
("Eric" "is" "young" "+")
((((((triple7 triple5) -> (rule4 % int3))) -> (rule5 % int2)) triple6) -> (rule7 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Eric is not young.
False
6
inv-proof
[(((((((triple7 triple5) -> rule4)) -> rule5) triple6) -> rule7))]
("Eric" "is" "young" "-")
((((((triple7 triple5) -> (rule4 % int3))) -> (rule5 % int2)) triple6) -> (rule7 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "cold" "-")
Eric is nice.
Unknown
rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Eric" "is" "nice" "+")
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "nice" "-")
Dave is nice.
Unknown
rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "nice" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Eric is red.
Unknown
random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "+")
@0: Bob is kind.[(triple1)] Dave is blue.[(triple4)] Dave is round.[(triple3)] Dave is young.[(triple2)] Eric is big.[(triple7)] Eric is blue.[(triple6)] Eric is round.[(triple5)] Gary is big.[(triple12)] Gary is cold.[(triple11)] Gary is kind.[(triple10 OR ((triple9) -> rule5))] Gary is rough.[(triple9)] Gary is young.[(triple8)] @1: Eric is rough.[(((triple7 triple5) -> rule4))] @2: Eric is kind.[(((((triple7 triple5) -> rule4)) -> rule5))] @3: Eric is young.[(((((((triple7 triple5) -> rule4)) -> rule5) triple6) -> rule7))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple2
Eric is big.
("Eric" "is" "big" "+")
triple7
Eric is blue.
("Eric" "is" "blue" "+")
triple6
Eric is round.
("Eric" "is" "round" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is kind.
("Gary" "is" "kind" "+")
triple10
((triple9) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is young.
("Gary" "is" "young" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
((triple7 triple5) -> (rule4 % int1))
Eric is rough.
("Eric" "is" "rough" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
((((triple7 triple5) -> (rule4 % int2))) -> (rule5 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is rough.
("Eric" "is" "rough" "+")
int2
Eric is young.
("Eric" "is" "young" "+")
((((((triple7 triple5) -> (rule4 % int3))) -> (rule5 % int2)) triple6) -> (rule7 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Eric is kind.
("Eric" "is" "kind" "+")
int2
Eric is rough.
("Eric" "is" "rough" "+")
int3
Bob always goes out of his way to show that he is kind to people.
People think that Dave is round; This might be because he is young and blue.
Eric is both big and round, with blue features.
When you first meet Gary you know he is young and big, but later you find out he is also, incredibly kind, cold and rough.
A person that is cold, blue and nice is also considered to be round.
A young, red person will certainly be cold.
A big kind person that is red is almost always nice.
If a person is quite big and also round then they are certainly rough too.
People who are rough are often rather kind as well.
People who are considered rough, blue, and nice, are also green.
Take a drive and find a kind and blue driver, that means they are also young.