Bob wears all blue. Although Charlie is young and nice, he is as cold as ice. In the snow sits Fred, crying from being cold. Young Harry is wearing green pants. When you meet someone round, blue and nice they are as a rule rough. A big person who is kind but blue is cold. If you are green you are also kind. Nice people who are big are always feeling blue. If you meet someone who is young and cold, then will most definitely be red. Anybody with rough, kind and blue aspects will certainly be cold, too. A person with the qualities of being cold and being red will also be a person that is green.
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is blue and nice and round then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and kind and big then they are cold.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is green then they are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and big then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and cold then they are red.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and kind and blue then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and red then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
Fred is cold.
True
1
proof
[(triple5)]
("Fred" "is" "cold" "+")
triple5
Harry is not green.
False
1
inv-proof
[(triple7)]
("Harry" "is" "green" "-")
triple7
Charlie is red.
True
3
proof
[(((triple2 triple4) -> rule5))]
("Charlie" "is" "red" "+")
((triple2 triple4) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Harry is not kind.
False
2
inv-proof
[(((triple7) -> rule3))]
("Harry" "is" "kind" "-")
((triple7) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Charlie is green.
True
5
proof
[(((triple4 ((triple2 triple4) -> rule5)) -> rule7))]
("Charlie" "is" "green" "+")
((triple4 ((triple2 triple4) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is not green.
False
5
inv-proof
[(((triple4 ((triple2 triple4) -> rule5)) -> rule7))]
("Charlie" "is" "green" "-")
((triple4 ((triple2 triple4) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
True
6
proof
[(((((triple4 ((triple2 triple4) -> rule5)) -> rule7)) -> rule3))]
("Charlie" "is" "kind" "+")
((((triple4 ((triple2 triple4) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is not kind.
False
6
inv-proof
[(((((triple4 ((triple2 triple4) -> rule5)) -> rule7)) -> rule3))]
("Charlie" "is" "kind" "-")
((((triple4 ((triple2 triple4) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Bob is not red.
Unknown
inv-rconc
[@1: Bob is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "red" "-")
Bob is green.
Unknown
rconc
[@2: Bob is green.[CWA. Example of deepest failure = (rule7 <- rule5 <- FAIL)]]
("Bob" "is" "green" "+")
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "rough" "-")
Harry is blue.
Unknown
rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "blue" "+")
Fred is not big.
Unknown
inv-random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "-")
Fred is nice.
Unknown
random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
@0: Bob is blue.[(triple1)] Charlie is cold.[(triple4)] Charlie is nice.[(triple3)] Charlie is young.[(triple2)] Fred is cold.[(triple5)] Harry is green.[(triple7)] Harry is young.[(triple6)] @1: Charlie is red.[(((triple2 triple4) -> rule5))] Harry is kind.[(((triple7) -> rule3))] @2: Charlie is green.[(((triple4 ((triple2 triple4) -> rule5)) -> rule7))] @3: Charlie is kind.[(((((triple4 ((triple2 triple4) -> rule5)) -> rule7)) -> rule3))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Fred is cold.
("Fred" "is" "cold" "+")
triple5
Harry is green.
("Harry" "is" "green" "+")
triple7
Harry is young.
("Harry" "is" "young" "+")
triple6
Charlie is red.
("Charlie" "is" "red" "+")
((triple2 triple4) -> (rule5 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
((triple7) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
((triple4 ((triple2 triple4) -> (rule5 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
((((triple4 ((triple2 triple4) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Bob wears all blue.
Although Charlie is young and nice, he is as cold as ice.
In the snow sits Fred, crying from being cold.
Young Harry is wearing green pants.
When you meet someone round, blue and nice they are as a rule rough.
A big person who is kind but blue is cold.
If you are green you are also kind.
Nice people who are big are always feeling blue.
If you meet someone who is young and cold, then will most definitely be red.
Anybody with rough, kind and blue aspects will certainly be cold, too.
A person with the qualities of being cold and being red will also be a person that is green.