In the snow sits Alan, crying from being cold. They always call him rough Bob. Dave is a person both green and big. Big, red Gary is quite kind. Someone with round, red, and kind traits also will be green. Cold, red people are generally kind and big. A young, red person will certainly be cold. A person that is the color red will definitely be round shaped. A big, young aged person that is green will be round shaped. If someone is kind, green, and round sized, then they are typically nice people. If you meet somebody who is green, big and red you'll notice they are also blue.
Alan is cold.
("Alan" "is" "cold" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is big.
("Dave" "is" "big" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is round and red and kind then they are green.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and red and cold then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is red and young then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is red then they are round.
((("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is big and green and young then they are round.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and green and round then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is green and big and red then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
Gary is big.
True
1
proof
[(triple7)]
("Gary" "is" "big" "+")
triple7
Dave is not green.
False
1
inv-proof
[(triple3)]
("Dave" "is" "green" "-")
triple3
Gary is round.
True
2
proof
[(((triple5) -> rule4))]
("Gary" "is" "round" "+")
((triple5) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not round.
False
2
inv-proof
[(((triple5) -> rule4))]
("Gary" "is" "round" "-")
((triple5) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
True
5
proof
[(((((triple5) -> rule4) triple5 triple6) -> rule1))]
("Gary" "is" "green" "+")
((((triple5) -> (rule4 % int2)) triple5 triple6) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is not green.
False
5
inv-proof
[(((((triple5) -> rule4) triple5 triple6) -> rule1))]
("Gary" "is" "green" "-")
((((triple5) -> (rule4 % int2)) triple5 triple6) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
True
9
proof
[(((triple6 ((((triple5) -> rule4) triple5 triple6) -> rule1) ((triple5) -> rule4)) -> rule6))]
("Gary" "is" "nice" "+")
((triple6 ((((triple5) -> (rule4 % int3)) triple5 triple6) -> (rule1 % int2)) ((triple5) -> (rule4 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is not nice.
False
9
inv-proof
[(((triple6 ((((triple5) -> rule4) triple5 triple6) -> rule1) ((triple5) -> rule4)) -> rule6))]
("Gary" "is" "nice" "-")
((triple6 ((((triple5) -> (rule4 % int3)) triple5 triple6) -> (rule1 % int2)) ((triple5) -> (rule4 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Bob is not nice.
Unknown
inv-rconc
[@1: Bob is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Bob" "is" "nice" "-")
Alan is green.
Unknown
rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "green" "+")
Dave is not cold.
Unknown
inv-rconc
[@1: Dave is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "cold" "-")
Gary is cold.
Unknown
rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "cold" "+")
Dave is not young.
Unknown
inv-random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
@0: Alan is cold.[(triple1)] Bob is rough.[(triple2)] Dave is big.[(triple4)] Dave is green.[(triple3)] Gary is big.[(triple7)] Gary is kind.[(triple6)] Gary is red.[(triple5)] @1: Gary is round.[(((triple5) -> rule4))] @2: Gary is green.[(((((triple5) -> rule4) triple5 triple6) -> rule1))] @3: Gary is blue.[(((((((triple5) -> rule4) triple5 triple6) -> rule1) triple7 triple5) -> rule7))] Gary is nice.[(((triple6 ((((triple5) -> rule4) triple5 triple6) -> rule1) ((triple5) -> rule4)) -> rule6))]
Alan is cold.
("Alan" "is" "cold" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Dave is big.
("Dave" "is" "big" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple7
Gary is kind.
("Gary" "is" "kind" "+")
triple6
Gary is red.
("Gary" "is" "red" "+")
triple5
Gary is round.
("Gary" "is" "round" "+")
((triple5) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((((triple5) -> (rule4 % int2)) triple5 triple6) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
((((((triple5) -> (rule4 % int3)) triple5 triple6) -> (rule1 % int2)) triple7 triple5) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
((triple6 ((((triple5) -> (rule4 % int3)) triple5 triple6) -> (rule1 % int2)) ((triple5) -> (rule4 % int3))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
In the snow sits Alan, crying from being cold.
They always call him rough Bob.
Dave is a person both green and big.
Big, red Gary is quite kind.
Someone with round, red, and kind traits also will be green.
Cold, red people are generally kind and big.
A young, red person will certainly be cold.
A person that is the color red will definitely be round shaped.
A big, young aged person that is green will be round shaped.
If someone is kind, green, and round sized, then they are typically nice people.
If you meet somebody who is green, big and red you'll notice they are also blue.