Alan is so big, he is often blue, but always kind. Bob is so big, he is often blue, but always kind. That rough but kind guy is Charlie, the green one. Harry ate some rotten meat and now feels green. Young people with red skin who are a bit downhearted and blue are kind. Blue Christmas ornaments are also red. People who are round, blue and cold are usually nice. Young people that are blue will still be kind because they are rough to the touch. Like a blueberry, a big blue person is round as anything. If a person is quite big and also round then they are certainly rough too. A big and round shaped, blue person will be cold for sure.
Alan is kind.
("Alan" "is" "kind" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is young and blue and red then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue then they are red.
((("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is round and blue and cold then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and young and kind then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and big then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is big and round then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and blue and big then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
Alan is big.
True
1
proof
[(triple3)]
("Alan" "is" "big" "+")
triple3
Charlie is not kind.
False
1
inv-proof
[(triple8)]
("Charlie" "is" "kind" "-")
triple8
Bob is red.
True
2
proof
[(((triple5) -> rule2))]
("Bob" "is" "red" "+")
((triple5) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Alan is not round.
False
3
inv-proof
[(((triple2 triple3) -> rule5))]
("Alan" "is" "round" "-")
((triple2 triple3) -> (rule5 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Alan is rough.
True
5
proof
[(((triple3 ((triple2 triple3) -> rule5)) -> rule6))]
("Alan" "is" "rough" "+")
((triple3 ((triple2 triple3) -> (rule5 % int2))) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Bob is not rough.
False
5
inv-proof
[(((triple6 ((triple5 triple6) -> rule5)) -> rule6))]
("Bob" "is" "rough" "-")
((triple6 ((triple5 triple6) -> (rule5 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
True
11
proof
[(((((triple5 triple6) -> rule5) triple5 ((((triple5 triple6) -> rule5) triple5 triple6) -> rule7)) -> rule3))]
("Bob" "is" "nice" "+")
((((triple5 triple6) -> (rule5 % int3)) triple5 ((((triple5 triple6) -> (rule5 % int3)) triple5 triple6) -> (rule7 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is not nice.
False
11
inv-proof
[(((((triple5 triple6) -> rule5) triple5 ((((triple5 triple6) -> rule5) triple5 triple6) -> rule7)) -> rule3))]
("Bob" "is" "nice" "-")
((((triple5 triple6) -> (rule5 % int3)) triple5 ((((triple5 triple6) -> (rule5 % int3)) triple5 triple6) -> (rule7 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Charlie is not cold.
Unknown
inv-rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "cold" "-")
Harry is nice.
Unknown
rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "nice" "+")
Charlie is not red.
Unknown
inv-rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "red" "-")
Harry is cold.
Unknown
rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "cold" "+")
Alan is not young.
Unknown
inv-random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
@0: Alan is big.[(triple3)] Alan is blue.[(triple2)] Alan is kind.[(triple1)] Bob is big.[(triple6)] Bob is blue.[(triple5)] Bob is kind.[(triple4)] Charlie is green.[(triple9)] Charlie is kind.[(triple8)] Charlie is rough.[(triple7)] Harry is green.[(triple10)] @1: Alan is red.[(((triple2) -> rule2))] Alan is round.[(((triple2 triple3) -> rule5))] Bob is red.[(((triple5) -> rule2))] Bob is round.[(((triple5 triple6) -> rule5))] @2: Alan is cold.[(((((triple2 triple3) -> rule5) triple2 triple3) -> rule7))] Alan is rough.[(((triple3 ((triple2 triple3) -> rule5)) -> rule6))] Bob is cold.[(((((triple5 triple6) -> rule5) triple5 triple6) -> rule7))] Bob is rough.[(((triple6 ((triple5 triple6) -> rule5)) -> rule6))] @3: Alan is nice.[(((((triple2 triple3) -> rule5) triple2 ((((triple2 triple3) -> rule5) triple2 triple3) -> rule7)) -> rule3))] Bob is nice.[(((((triple5 triple6) -> rule5) triple5 ((((triple5 triple6) -> rule5) triple5 triple6) -> rule7)) -> rule3))]
Alan is big.
("Alan" "is" "big" "+")
triple3
Alan is blue.
("Alan" "is" "blue" "+")
triple2
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple6
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Charlie is green.
("Charlie" "is" "green" "+")
triple9
Charlie is kind.
("Charlie" "is" "kind" "+")
triple8
Charlie is rough.
("Charlie" "is" "rough" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple10
Alan is red.
("Alan" "is" "red" "+")
((triple2) -> (rule2 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
((triple2 triple3) -> (rule5 % int1))
Alan is round.
("Alan" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
((triple5) -> (rule2 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
((triple5 triple6) -> (rule5 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
((((triple2 triple3) -> (rule5 % int2)) triple2 triple3) -> (rule7 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
((triple3 ((triple2 triple3) -> (rule5 % int2))) -> (rule6 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is round.
("Alan" "is" "round" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
((((triple5 triple6) -> (rule5 % int2)) triple5 triple6) -> (rule7 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
((triple6 ((triple5 triple6) -> (rule5 % int2))) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
((((triple2 triple3) -> (rule5 % int3)) triple2 ((((triple2 triple3) -> (rule5 % int3)) triple2 triple3) -> (rule7 % int2))) -> (rule3 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is round.
("Alan" "is" "round" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
((((triple5 triple6) -> (rule5 % int3)) triple5 ((((triple5 triple6) -> (rule5 % int3)) triple5 triple6) -> (rule7 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Alan is so big, he is often blue, but always kind.
Bob is so big, he is often blue, but always kind.
That rough but kind guy is Charlie, the green one.
Harry ate some rotten meat and now feels green.
Young people with red skin who are a bit downhearted and blue are kind.
Blue Christmas ornaments are also red.
People who are round, blue and cold are usually nice.
Young people that are blue will still be kind because they are rough to the touch.
Like a blueberry, a big blue person is round as anything.
If a person is quite big and also round then they are certainly rough too.
A big and round shaped, blue person will be cold for sure.