If you have a fire big Charlie comes on the firetruck and with his big blue hands he is so nice and kind as he saves your cat from the fire. In the snow sits Dave, crying from being cold. Upon meeting Fred, you'll notice he's green and kind. Harry is a nice round guy, which leads to him being red. Though they were big and nice, they simultaneously were rough and aloof and seemed cold to others. A person that is cold, blue and nice is also considered to be round. Anyone perceived to be rough, cold and kind will also be nice. A blue individual that is kind and nice to others also has a rough appearance.
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
If someone is rough and big and nice then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and blue and nice then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and cold and kind then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and blue and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Harry is nice.
True
1
proof
[(triple10)]
("Harry" "is" "nice" "+")
triple10
Fred is not green.
False
1
inv-proof
[(triple7)]
("Fred" "is" "green" "-")
triple7
Charlie is rough.
True
4
proof
[(((triple2 triple3 triple1) -> rule4))]
("Charlie" "is" "rough" "+")
((triple2 triple3 triple1) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is not rough.
False
4
inv-proof
[(((triple2 triple3 triple1) -> rule4))]
("Charlie" "is" "rough" "-")
((triple2 triple3 triple1) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is cold.
True
7
proof
[(((((triple2 triple3 triple1) -> rule4) triple4 triple1) -> rule1))]
("Charlie" "is" "cold" "+")
((((triple2 triple3 triple1) -> (rule4 % int2)) triple4 triple1) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is not cold.
False
7
inv-proof
[(((((triple2 triple3 triple1) -> rule4) triple4 triple1) -> rule1))]
("Charlie" "is" "cold" "-")
((((triple2 triple3 triple1) -> (rule4 % int2)) triple4 triple1) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is round.
True
10
proof
[(((((((triple2 triple3 triple1) -> rule4) triple4 triple1) -> rule1) triple3 triple1) -> rule2))]
("Charlie" "is" "round" "+")
((((((triple2 triple3 triple1) -> (rule4 % int3)) triple4 triple1) -> (rule1 % int2)) triple3 triple1) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is not round.
False
10
inv-proof
[(((((((triple2 triple3 triple1) -> rule4) triple4 triple1) -> rule1) triple3 triple1) -> rule2))]
("Charlie" "is" "round" "-")
((((((triple2 triple3 triple1) -> (rule4 % int3)) triple4 triple1) -> (rule1 % int2)) triple3 triple1) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Fred is not cold.
Unknown
inv-rconc
[@1: Fred is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "cold" "-")
Dave is nice.
Unknown
rconc
[@1: Dave is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "nice" "+")
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "round" "-")
Fred is rough.
Unknown
rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fred" "is" "rough" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
Fred is not blue.
Unknown
inv-random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
@0: Charlie is big.[(triple4)] Charlie is blue.[(triple3)] Charlie is kind.[(triple2)] Charlie is nice.[(triple1)] Dave is cold.[(triple5)] Fred is green.[(triple7)] Fred is kind.[(triple6)] Harry is nice.[(triple10)] Harry is red.[(triple9)] Harry is round.[(triple8)] @1: Charlie is rough.[(((triple2 triple3 triple1) -> rule4))] @2: Charlie is cold.[(((((triple2 triple3 triple1) -> rule4) triple4 triple1) -> rule1))] @3: Charlie is round.[(((((((triple2 triple3 triple1) -> rule4) triple4 triple1) -> rule1) triple3 triple1) -> rule2))]
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is blue.
("Charlie" "is" "blue" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple5
Fred is green.
("Fred" "is" "green" "+")
triple7
Fred is kind.
("Fred" "is" "kind" "+")
triple6
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple8
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple2 triple3 triple1) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((((triple2 triple3 triple1) -> (rule4 % int2)) triple4 triple1) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
((((((triple2 triple3 triple1) -> (rule4 % int3)) triple4 triple1) -> (rule1 % int2)) triple3 triple1) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
If you have a fire big Charlie comes on the firetruck and with his big blue hands he is so nice and kind as he saves your cat from the fire.
In the snow sits Dave, crying from being cold.
Upon meeting Fred, you'll notice he's green and kind.
Harry is a nice round guy, which leads to him being red.
Though they were big and nice, they simultaneously were rough and aloof and seemed cold to others.
A person that is cold, blue and nice is also considered to be round.
Anyone perceived to be rough, cold and kind will also be nice.
A blue individual that is kind and nice to others also has a rough appearance.