Bob is big but round. Despite his size, Bob is always cold in his green sweater. Bob is very nice. Dave is a young and nice man, and he is also very big shaped. Big Gary is nice but also rough. Harry always goes out of his way to show that he is kind to people. If you come across someone with rough skin and a big and round shape, you'll see that they are also a big green. That young person is feeling cold because he is green to the situation making his body shape round. Nice people who are big are always cold because they can't find space near the heater. Someone who is kind and young with a round figure will always be red too. Young people who are nice and cold, are rather green. Young, kind people with a round body shape can be cold to strangers.
Bob is round.
("Bob" "is" "round" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is big.
("Dave" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is rough and round and big then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is young and cold and green then they are round.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is big and nice then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and young and kind then they are red.
((("someone" "is" "round" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If someone is nice and young and cold then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and young and round then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
Bob is nice.
True
1
proof
[(triple2)]
("Bob" "is" "nice" "+")
triple2
Bob is not nice.
False
1
inv-proof
[(triple2)]
("Bob" "is" "nice" "-")
triple2
Dave is cold.
True
3
proof
[(((triple8 triple7) -> rule3))]
("Dave" "is" "cold" "+")
((triple8 triple7) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Gary is not cold.
False
3
inv-proof
[(((triple11 triple10) -> rule3))]
("Gary" "is" "cold" "-")
((triple11 triple10) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Dave is green.
True
6
proof
[(((triple7 triple6 ((triple8 triple7) -> rule3)) -> rule5))]
("Dave" "is" "green" "+")
((triple7 triple6 ((triple8 triple7) -> (rule3 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is not green.
False
6
inv-proof
[(((triple7 triple6 ((triple8 triple7) -> rule3)) -> rule5))]
("Dave" "is" "green" "-")
((triple7 triple6 ((triple8 triple7) -> (rule3 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is round.
True
11
proof
[(((triple6 ((triple8 triple7) -> rule3) ((triple7 triple6 ((triple8 triple7) -> rule3)) -> rule5)) -> rule2))]
("Dave" "is" "round" "+")
((triple6 ((triple8 triple7) -> (rule3 % int3)) ((triple7 triple6 ((triple8 triple7) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is not round.
False
11
inv-proof
[(((triple6 ((triple8 triple7) -> rule3) ((triple7 triple6 ((triple8 triple7) -> rule3)) -> rule5)) -> rule2))]
("Dave" "is" "round" "-")
((triple6 ((triple8 triple7) -> (rule3 % int3)) ((triple7 triple6 ((triple8 triple7) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Gary is not red.
Unknown
inv-rconc
[@1: Gary is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "red" "-")
Gary is green.
Unknown
rconc
[@2: Gary is green.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Gary" "is" "green" "+")
Dave is not red.
Unknown
inv-rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "red" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "round" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Gary is kind.
Unknown
random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "+")
Dave is not rough.
Unknown
inv-random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Bob is big.[(triple5)] Bob is cold.[(triple4 OR ((triple5 triple2) -> rule3))] Bob is green.[(triple3)] Bob is nice.[(triple2)] Bob is round.[(triple1)] Dave is big.[(triple8)] Dave is nice.[(triple7)] Dave is young.[(triple6)] Gary is big.[(triple11)] Gary is nice.[(triple10)] Gary is rough.[(triple9)] Harry is kind.[(triple12)] @1: Dave is cold.[(((triple8 triple7) -> rule3))] Gary is cold.[(((triple11 triple10) -> rule3))] @2: Dave is green.[(((triple7 triple6 ((triple8 triple7) -> rule3)) -> rule5))] @3: Dave is round.[(((triple6 ((triple8 triple7) -> rule3) ((triple7 triple6 ((triple8 triple7) -> rule3)) -> rule5)) -> rule2))]
Bob is big.
("Bob" "is" "big" "+")
triple5
Bob is cold.
("Bob" "is" "cold" "+")
triple4
((triple5 triple2) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple8
Dave is nice.
("Dave" "is" "nice" "+")
triple7
Dave is young.
("Dave" "is" "young" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple12
Dave is cold.
("Dave" "is" "cold" "+")
((triple8 triple7) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple11 triple10) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple7 triple6 ((triple8 triple7) -> (rule3 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((triple6 ((triple8 triple7) -> (rule3 % int3)) ((triple7 triple6 ((triple8 triple7) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Bob is big but round; Despite his size, Bob is always cold in his green sweater; Bob is very nice.
Dave is a young and nice man, and he is also very big shaped.
Big Gary is nice but also rough.
Harry always goes out of his way to show that he is kind to people.
If you come across someone with rough skin and a big and round shape, you'll see that they are also a big green.
That young person is feeling cold because he is green to the situation making his body shape round.
Nice people who are big are always cold because they can't find space near the heater.
Someone who is kind and young with a round figure will always be red too.
Young people who are nice and cold, are rather green.
Young, kind people with a round body shape can be cold to strangers.