Charlie wears all blue. Even though Fred is young, he is still very round and still very red. Big Gary is still young so it's easy for him to be kind. Harry is a young man who is also kind, blue and rough. Rough people are often always nice. Young round folks who are at least a bit red are actually nice. People that feel green are cold to people that try to help them. Young people are rough. Nice, kind people who look rough almost always feel cold. Anyone that's described as young, kind and blue can be said to be cold, too. Blue, red and nice people are always big, too.
Charlie is blue.
("Charlie" "is" "blue" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is red.
("Fred" "is" "red" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is rough then they are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and round and young then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is green then they are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is young then they are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and kind and rough then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and blue and kind then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and blue and red then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
Harry is rough.
True
1
proof
[(triple9 OR ((triple8) -> rule4))]
("Harry" "is" "rough" "+")
triple9
((triple8) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is not kind.
False
1
inv-proof
[(triple10)]
("Harry" "is" "kind" "-")
triple10
Fred is nice.
True
3
proof
[(((triple4 triple3 triple2) -> rule2) OR ((((triple2) -> rule4)) -> rule1))]
("Fred" "is" "nice" "+")
((triple4 triple3 triple2) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
((((triple2) -> (rule4 % int2))) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Gary is not rough.
False
2
inv-proof
[(((triple5) -> rule4))]
("Gary" "is" "rough" "-")
((triple5) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
True
3
proof
[(((((triple5) -> rule4)) -> rule1))]
("Gary" "is" "nice" "+")
((((triple5) -> (rule4 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is not nice.
False
3
inv-proof
[(((((triple5) -> rule4)) -> rule1))]
("Gary" "is" "nice" "-")
((((triple5) -> (rule4 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
True
7
proof
[(((((((triple5) -> rule4)) -> rule1) triple6 ((triple5) -> rule4)) -> rule5))]
("Gary" "is" "cold" "+")
((((((triple5) -> (rule4 % int3))) -> (rule1 % int2)) triple6 ((triple5) -> (rule4 % int3))) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is not cold.
False
7
inv-proof
[(((((((triple5) -> rule4)) -> rule1) triple6 ((triple5) -> rule4)) -> rule5))]
("Gary" "is" "cold" "-")
((((((triple5) -> (rule4 % int3))) -> (rule1 % int2)) triple6 ((triple5) -> (rule4 % int3))) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "big" "+")
Charlie is not nice.
Unknown
inv-rconc
[@2: Charlie is nice.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Charlie" "is" "nice" "-")
Fred is big.
Unknown
rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fred" "is" "big" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
Fred is not kind.
Unknown
inv-random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Charlie is blue.[(triple1)] Fred is red.[(triple4)] Fred is round.[(triple3)] Fred is young.[(triple2)] Gary is big.[(triple7)] Gary is kind.[(triple6)] Gary is young.[(triple5)] Harry is blue.[(triple11)] Harry is kind.[(triple10)] Harry is rough.[(triple9 OR ((triple8) -> rule4))] Harry is young.[(triple8)] @1: Fred is nice.[(((triple4 triple3 triple2) -> rule2) OR ((((triple2) -> rule4)) -> rule1))] Fred is rough.[(((triple2) -> rule4))] Gary is rough.[(((triple5) -> rule4))] Harry is cold.[(((triple8 triple11 triple10) -> rule6) OR ((((triple9) -> rule1) triple10 triple9) -> rule5) OR ((((triple9) -> rule1) triple10 ((triple8) -> rule4)) -> rule5) OR ((((((triple8) -> rule4)) -> rule1) triple10 triple9) -> rule5) OR ((((((triple8) -> rule4)) -> rule1) triple10 ((triple8) -> rule4)) -> rule5))] Harry is nice.[(((triple9) -> rule1) OR ((((triple8) -> rule4)) -> rule1))] @2: Gary is nice.[(((((triple5) -> rule4)) -> rule1))] @3: Gary is cold.[(((((((triple5) -> rule4)) -> rule1) triple6 ((triple5) -> rule4)) -> rule5))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple1
Fred is red.
("Fred" "is" "red" "+")
triple4
Fred is round.
("Fred" "is" "round" "+")
triple3
Fred is young.
("Fred" "is" "young" "+")
triple2
Gary is big.
("Gary" "is" "big" "+")
triple7
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple9
((triple8) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
triple8
Fred is nice.
("Fred" "is" "nice" "+")
((triple4 triple3 triple2) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
((((triple2) -> (rule4 % int2))) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
((triple2) -> (rule4 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple5) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple8 triple11 triple10) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((((triple9) -> (rule1 % int2)) triple10 triple9) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((triple9) -> (rule1 % int3)) triple10 ((triple8) -> (rule4 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((((triple8) -> (rule4 % int3))) -> (rule1 % int2)) triple10 triple9) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((((triple8) -> (rule4 % int3))) -> (rule1 % int2)) triple10 ((triple8) -> (rule4 % int3))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
((triple9) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
((((triple8) -> (rule4 % int2))) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
((((triple5) -> (rule4 % int2))) -> (rule1 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
((((((triple5) -> (rule4 % int3))) -> (rule1 % int2)) triple6 ((triple5) -> (rule4 % int3))) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Charlie wears all blue.
Even though Fred is young, he is still very round and still very red.
Big Gary is still young so it's easy for him to be kind.
Harry is a young man who is also kind, blue and rough.
Rough people are often always nice.
Young round folks who are at least a bit red are actually nice.
People that feel green are cold to people that try to help them.
Young people are rough.
Nice, kind people who look rough almost always feel cold.
Anyone that's described as young, kind and blue can be said to be cold, too.
Blue, red and nice people are always big, too.