Bob is big and dresses in blue. Big, round Charlie is also known to be nice, kind and young. Fred is a very rough person. As expected, he's also a very cold and big individual. In the snow sits Harry, crying from being cold. Nice blue people are often rough. Soon you will understand that big people are nice. Pick someone blue, kind and big, and they are certain to be green as well. If a kind person is also young and round shaped, they will be colored blue. People that feel green are cold to people that try to help them.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is big.
("Bob" "is" "big" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is nice and blue then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is big then they are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and kind and big then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and young and round then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is green then they are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
Charlie is round.
True
1
proof
[(triple4)]
("Charlie" "is" "round" "+")
triple4
Harry is not cold.
False
1
inv-proof
[(triple11)]
("Harry" "is" "cold" "-")
triple11
Fred is nice.
True
2
proof
[(((triple10) -> rule2))]
("Fred" "is" "nice" "+")
((triple10) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Bob is not nice.
False
2
inv-proof
[(((triple2) -> rule2))]
("Bob" "is" "nice" "-")
((triple2) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Charlie is green.
True
7
proof
[(((((triple6 triple3 triple4) -> rule4) triple6 triple7) -> rule3))]
("Charlie" "is" "green" "+")
((((triple6 triple3 triple4) -> (rule4 % int2)) triple6 triple7) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is not green.
False
7
inv-proof
[(((((triple6 triple3 triple4) -> rule4) triple6 triple7) -> rule3))]
("Charlie" "is" "green" "-")
((((triple6 triple3 triple4) -> (rule4 % int2)) triple6 triple7) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is cold.
True
8
proof
[(((((((triple6 triple3 triple4) -> rule4) triple6 triple7) -> rule3)) -> rule5))]
("Charlie" "is" "cold" "+")
((((((triple6 triple3 triple4) -> (rule4 % int3)) triple6 triple7) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is not cold.
False
8
inv-proof
[(((((((triple6 triple3 triple4) -> rule4) triple6 triple7) -> rule3)) -> rule5))]
("Charlie" "is" "cold" "-")
((((((triple6 triple3 triple4) -> (rule4 % int3)) triple6 triple7) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Fred is not blue.
Unknown
inv-rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "blue" "-")
Harry is rough.
Unknown
rconc
[@2: Harry is rough.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Harry" "is" "rough" "+")
Fred is not green.
Unknown
inv-rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "green" "-")
Bob is cold.
Unknown
rconc
[@2: Bob is cold.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Bob" "is" "cold" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Bob is round.
Unknown
random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Bob is big.[(triple2)] Bob is blue.[(triple1)] Charlie is big.[(triple7)] Charlie is kind.[(triple6)] Charlie is nice.[(triple5 OR ((triple7) -> rule2))] Charlie is round.[(triple4)] Charlie is young.[(triple3)] Fred is big.[(triple10)] Fred is cold.[(triple9)] Fred is rough.[(triple8)] Harry is cold.[(triple11)] @1: Bob is nice.[(((triple2) -> rule2))] Charlie is blue.[(((triple6 triple3 triple4) -> rule4))] Fred is nice.[(((triple10) -> rule2))] @2: Bob is rough.[(((((triple2) -> rule2) triple1) -> rule1))] Charlie is green.[(((((triple6 triple3 triple4) -> rule4) triple6 triple7) -> rule3))] Charlie is rough.[(((triple5 ((triple6 triple3 triple4) -> rule4)) -> rule1) OR ((((triple7) -> rule2) ((triple6 triple3 triple4) -> rule4)) -> rule1))] @3: Charlie is cold.[(((((((triple6 triple3 triple4) -> rule4) triple6 triple7) -> rule3)) -> rule5))]
Bob is big.
("Bob" "is" "big" "+")
triple2
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
((triple7) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
triple4
Charlie is young.
("Charlie" "is" "young" "+")
triple3
Fred is big.
("Fred" "is" "big" "+")
triple10
Fred is cold.
("Fred" "is" "cold" "+")
triple9
Fred is rough.
("Fred" "is" "rough" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Bob is nice.
("Bob" "is" "nice" "+")
((triple2) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple6 triple3 triple4) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
((triple10) -> (rule2 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((((triple2) -> (rule2 % int2)) triple1) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
((((triple6 triple3 triple4) -> (rule4 % int2)) triple6 triple7) -> (rule3 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple5 ((triple6 triple3 triple4) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple7) -> (rule2 % int3)) ((triple6 triple3 triple4) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
((((((triple6 triple3 triple4) -> (rule4 % int3)) triple6 triple7) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Bob is big and dresses in blue.
Big, round Charlie is also known to be nice, kind and young.
Fred is a very rough person; As expected, he's also a very cold and big individual.
In the snow sits Harry, crying from being cold.
Nice blue people are often rough.
Soon you will understand that big people are nice.
Pick someone blue, kind and big, and they are certain to be green as well.
If a kind person is also young and round shaped, they will be colored blue.
People that feel green are cold to people that try to help them.