Bob ate some rotten meat and now feels green. Charlie is feeling rough, red, nice, green and also blue. Dave is so young and darling he is kind to all the old people on the block. Even though Fred is rough, he nice but cold and blue. A kind, round person will surely be red as well. A young aged and blue colored person will certainly be round. Young round blue people are also big people. People who are rough are young. If you meet someone who is young and cold, then will most definitely be red. When you know someone who's red, rough and nice, you'll also see that they're cold.
Bob is green.
("Bob" "is" "green" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
If someone is kind and round then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is young and blue then they are round.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is round and blue and young then they are big.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is rough then they are young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is young and cold then they are red.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and red and rough then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
Bob is green.
True
1
proof
[(triple1)]
("Bob" "is" "green" "+")
triple1
Charlie is not nice.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "nice" "-")
triple4
Charlie is cold.
True
4
proof
[(((triple4 triple3 triple2) -> rule6))]
("Charlie" "is" "cold" "+")
((triple4 triple3 triple2) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is not young.
False
2
inv-proof
[(((triple2) -> rule4))]
("Charlie" "is" "young" "-")
((triple2) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is round.
True
4
proof
[(((((triple2) -> rule4) triple6) -> rule2))]
("Charlie" "is" "round" "+")
((((triple2) -> (rule4 % int2)) triple6) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Fred is not red.
False
4
inv-proof
[(((((triple9) -> rule4) triple11) -> rule5))]
("Fred" "is" "red" "-")
((((triple9) -> (rule4 % int2)) triple11) -> (rule5 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Charlie is big.
True
8
proof
[(((((((triple2) -> rule4) triple6) -> rule2) triple6 ((triple2) -> rule4)) -> rule3))]
("Charlie" "is" "big" "+")
((((((triple2) -> (rule4 % int3)) triple6) -> (rule2 % int2)) triple6 ((triple2) -> (rule4 % int3))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is not big.
False
8
inv-proof
[(((((((triple2) -> rule4) triple6) -> rule2) triple6 ((triple2) -> rule4)) -> rule3))]
("Charlie" "is" "big" "-")
((((((triple2) -> (rule4 % int3)) triple6) -> (rule2 % int2)) triple6 ((triple2) -> (rule4 % int3))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "cold" "-")
Bob is young.
Unknown
rconc
[@1: Bob is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "young" "+")
Bob is not red.
Unknown
inv-rconc
[@2: Bob is red.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Bob" "is" "red" "-")
Dave is red.
Unknown
rconc
[@2: Dave is red.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Dave" "is" "red" "+")
Fred is not kind.
Unknown
inv-random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Bob is green.[(triple1)] Charlie is blue.[(triple6)] Charlie is green.[(triple5)] Charlie is nice.[(triple4)] Charlie is red.[(triple3)] Charlie is rough.[(triple2)] Dave is kind.[(triple8)] Dave is young.[(triple7)] Fred is blue.[(triple12)] Fred is cold.[(triple11)] Fred is nice.[(triple10)] Fred is rough.[(triple9)] @1: Charlie is cold.[(((triple4 triple3 triple2) -> rule6))] Charlie is young.[(((triple2) -> rule4))] Fred is young.[(((triple9) -> rule4))] @2: Charlie is round.[(((((triple2) -> rule4) triple6) -> rule2))] Fred is red.[(((((triple9) -> rule4) triple11) -> rule5))] Fred is round.[(((((triple9) -> rule4) triple12) -> rule2))] @3: Charlie is big.[(((((((triple2) -> rule4) triple6) -> rule2) triple6 ((triple2) -> rule4)) -> rule3))] Fred is big.[(((((((triple9) -> rule4) triple12) -> rule2) triple12 ((triple9) -> rule4)) -> rule3))]
Bob is green.
("Bob" "is" "green" "+")
triple1
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Dave is kind.
("Dave" "is" "kind" "+")
triple8
Dave is young.
("Dave" "is" "young" "+")
triple7
Fred is blue.
("Fred" "is" "blue" "+")
triple12
Fred is cold.
("Fred" "is" "cold" "+")
triple11
Fred is nice.
("Fred" "is" "nice" "+")
triple10
Fred is rough.
("Fred" "is" "rough" "+")
triple9
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple4 triple3 triple2) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple2) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
((triple9) -> (rule4 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((((triple2) -> (rule4 % int2)) triple6) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
((((triple9) -> (rule4 % int2)) triple11) -> (rule5 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
((((triple9) -> (rule4 % int2)) triple12) -> (rule2 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
((((((triple2) -> (rule4 % int3)) triple6) -> (rule2 % int2)) triple6 ((triple2) -> (rule4 % int3))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Fred is big.
("Fred" "is" "big" "+")
((((((triple9) -> (rule4 % int3)) triple12) -> (rule2 % int2)) triple12 ((triple9) -> (rule4 % int3))) -> (rule3 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Bob ate some rotten meat and now feels green.
Charlie is feeling rough, red, nice, green and also blue.
Dave is so young and darling he is kind to all the old people on the block.
Even though Fred is rough, he nice but cold and blue.
A kind, round person will surely be red as well.
A young aged and blue colored person will certainly be round.
Young round blue people are also big people.
People who are rough are young.
If you meet someone who is young and cold, then will most definitely be red.
When you know someone who's red, rough and nice, you'll also see that they're cold.