Bob is blue just like his dog. Bob is rough and round enough for the dog to use him as an exercise wheel. Fred is round shaped and green colored. Gary is a young, cold guy, but he's also a nice and kind guy who can be rough. Harry is big and rough. Big, young people feel cold all the time. People who are round, blue and cold are usually nice. Green people with red round cheeks are young. A nice person who is always seen to be wearing green clothes will be rather big in size. When a person's traits are to be big, blue and cold, they will also have a red trait. Someone who is very rough and big in size, and also has a round physique tend to be very cold. A blue, rough and round person will also be a big person.
Bob is round.
("Bob" "is" "round" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is green.
("Fred" "is" "green" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is young and big then they are cold.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and blue and cold then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is red and green and round then they are young.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is green and nice then they are big.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is big and cold and blue then they are red.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and big and round then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and rough and round then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
Gary is nice.
True
1
proof
[(triple8)]
("Gary" "is" "nice" "+")
triple8
Bob is not blue.
False
1
inv-proof
[(triple3)]
("Bob" "is" "blue" "-")
triple3
Bob is big.
True
4
proof
[(((triple3 triple2 triple1) -> rule7))]
("Bob" "is" "big" "+")
((triple3 triple2 triple1) -> (rule7 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is not big.
False
4
inv-proof
[(((triple3 triple2 triple1) -> rule7))]
("Bob" "is" "big" "-")
((triple3 triple2 triple1) -> (rule7 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
True
7
proof
[(((triple2 ((triple3 triple2 triple1) -> rule7) triple1) -> rule6))]
("Bob" "is" "cold" "+")
((triple2 ((triple3 triple2 triple1) -> (rule7 % int2)) triple1) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is not cold.
False
7
inv-proof
[(((triple2 ((triple3 triple2 triple1) -> rule7) triple1) -> rule6))]
("Bob" "is" "cold" "-")
((triple2 ((triple3 triple2 triple1) -> (rule7 % int2)) triple1) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is nice.
True
10
proof
[(((triple1 triple3 ((triple2 ((triple3 triple2 triple1) -> rule7) triple1) -> rule6)) -> rule2))]
("Bob" "is" "nice" "+")
((triple1 triple3 ((triple2 ((triple3 triple2 triple1) -> (rule7 % int3)) triple1) -> (rule6 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is not nice.
False
10
inv-proof
[(((triple1 triple3 ((triple2 ((triple3 triple2 triple1) -> rule7) triple1) -> rule6)) -> rule2))]
("Bob" "is" "nice" "-")
((triple1 triple3 ((triple2 ((triple3 triple2 triple1) -> (rule7 % int3)) triple1) -> (rule6 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Fred is not big.
Unknown
inv-rconc
[@2: Fred is big.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Fred" "is" "big" "-")
Fred is cold.
Unknown
rconc
[@3: Fred is cold.[CWA. Example of deepest failure = (rule1 <- rule3 <- rule5 <- FAIL)]]
("Fred" "is" "cold" "+")
Harry is not red.
Unknown
inv-rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "red" "-")
Fred is young.
Unknown
rconc
[@2: Fred is young.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Fred" "is" "young" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Bob is green.
Unknown
random
[@0: Bob is green.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "green" "+")
Fred is not kind.
Unknown
inv-random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "-")
Gary is blue.
Unknown
random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "+")
@0: Bob is blue.[(triple3)] Bob is rough.[(triple2)] Bob is round.[(triple1)] Fred is green.[(triple5)] Fred is round.[(triple4)] Gary is cold.[(triple10)] Gary is kind.[(triple9)] Gary is nice.[(triple8)] Gary is rough.[(triple7)] Gary is young.[(triple6)] Harry is big.[(triple12)] Harry is rough.[(triple11)] @1: Bob is big.[(((triple3 triple2 triple1) -> rule7))] @2: Bob is cold.[(((triple2 ((triple3 triple2 triple1) -> rule7) triple1) -> rule6))] @3: Bob is nice.[(((triple1 triple3 ((triple2 ((triple3 triple2 triple1) -> rule7) triple1) -> rule6)) -> rule2))] Bob is red.[(((((triple3 triple2 triple1) -> rule7) ((triple2 ((triple3 triple2 triple1) -> rule7) triple1) -> rule6) triple3) -> rule5))]
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Bob is round.
("Bob" "is" "round" "+")
triple1
Fred is green.
("Fred" "is" "green" "+")
triple5
Fred is round.
("Fred" "is" "round" "+")
triple4
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Gary is young.
("Gary" "is" "young" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is rough.
("Harry" "is" "rough" "+")
triple11
Bob is big.
("Bob" "is" "big" "+")
((triple3 triple2 triple1) -> (rule7 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((triple2 ((triple3 triple2 triple1) -> (rule7 % int2)) triple1) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((triple1 triple3 ((triple2 ((triple3 triple2 triple1) -> (rule7 % int3)) triple1) -> (rule6 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
((((triple3 triple2 triple1) -> (rule7 % int3)) ((triple2 ((triple3 triple2 triple1) -> (rule7 % int3)) triple1) -> (rule6 % int2)) triple3) -> (rule5 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is blue just like his dog; Bob is rough and round enough for the dog to use him as an exercise wheel.
Fred is round shaped and green colored.
Gary is a young, cold guy, but he's also a nice and kind guy who can be rough.
Harry is big and rough.
Big, young people feel cold all the time.
People who are round, blue and cold are usually nice.
Green people with red round cheeks are young.
A nice person who is always seen to be wearing green clothes will be rather big in size.
When a person's traits are to be big, blue and cold, they will also have a red trait.
Someone who is very rough and big in size, and also has a round physique tend to be very cold.
A blue, rough and round person will also be a big person.