Alan is big and rough looking but is very nice and kind. Bob is round shaped and green colored. Charlie is a man who is both round and rough. Harry is young and round, he is also green. Someone with round, red, and kind traits also will be green. People,though rough and red,tend to be cold too. A rather round and green person will be red. A person who is red and green, will also tend to be round shaped and rough.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is nice.
("Alan" "is" "nice" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is big.
("Alan" "is" "big" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is green.
("Harry" "is" "green" "+")
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 rough and red then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and green then they are red.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "red" "+"))
If someone is round and green and red then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
Alan is kind.
True
1
proof
[(triple3)]
("Alan" "is" "kind" "+")
triple3
Harry is not green.
False
1
inv-proof
[(triple11)]
("Harry" "is" "green" "-")
triple11
Bob is red.
True
3
proof
[(((triple5 triple6) -> rule3))]
("Bob" "is" "red" "+")
((triple5 triple6) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Harry is not red.
False
3
inv-proof
[(((triple10 triple11) -> rule3))]
("Harry" "is" "red" "-")
((triple10 triple11) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is rough.
True
6
proof
[(((triple10 triple11 ((triple10 triple11) -> rule3)) -> rule4))]
("Harry" "is" "rough" "+")
((triple10 triple11 ((triple10 triple11) -> (rule3 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Bob is not rough.
False
6
inv-proof
[(((triple5 triple6 ((triple5 triple6) -> rule3)) -> rule4))]
("Bob" "is" "rough" "-")
((triple5 triple6 ((triple5 triple6) -> (rule3 % int2))) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is cold.
True
10
proof
[(((((triple5 triple6 ((triple5 triple6) -> rule3)) -> rule4) ((triple5 triple6) -> rule3)) -> rule2))]
("Bob" "is" "cold" "+")
((((triple5 triple6 ((triple5 triple6) -> (rule3 % int3))) -> (rule4 % int2)) ((triple5 triple6) -> (rule3 % int3))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Harry is not cold.
False
10
inv-proof
[(((((triple10 triple11 ((triple10 triple11) -> rule3)) -> rule4) ((triple10 triple11) -> rule3)) -> rule2))]
("Harry" "is" "cold" "-")
((((triple10 triple11 ((triple10 triple11) -> (rule3 % int3))) -> (rule4 % int2)) ((triple10 triple11) -> (rule3 % int3))) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Alan is not green.
Unknown
inv-rconc
[@1: Alan is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "green" "-")
Charlie is red.
Unknown
rconc
[@2: Charlie is red.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Charlie" "is" "red" "+")
Charlie is not cold.
Unknown
inv-rconc
[@3: Charlie is cold.[CWA. Example of deepest failure = (rule2 <- rule3 <- rule1 <- FAIL)]]
("Charlie" "is" "cold" "-")
Alan is cold.
Unknown
rconc
[@2: Alan is cold.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Alan" "is" "cold" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Alan is not blue.
Unknown
inv-random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "-")
Alan is young.
Unknown
random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "+")
@0: Alan is big.[(triple4)] Alan is kind.[(triple3)] Alan is nice.[(triple2)] Alan is rough.[(triple1)] Bob is green.[(triple6)] Bob is round.[(triple5)] Charlie is rough.[(triple8)] Charlie is round.[(triple7)] Harry is green.[(triple11)] Harry is round.[(triple10)] Harry is young.[(triple9)] @1: Bob is red.[(((triple5 triple6) -> rule3))] Harry is red.[(((triple10 triple11) -> rule3))] @2: Bob is rough.[(((triple5 triple6 ((triple5 triple6) -> rule3)) -> rule4))] Harry is rough.[(((triple10 triple11 ((triple10 triple11) -> rule3)) -> rule4))] @3: Bob is cold.[(((((triple5 triple6 ((triple5 triple6) -> rule3)) -> rule4) ((triple5 triple6) -> rule3)) -> rule2))] Harry is cold.[(((((triple10 triple11 ((triple10 triple11) -> rule3)) -> rule4) ((triple10 triple11) -> rule3)) -> rule2))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple6
Bob is round.
("Bob" "is" "round" "+")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple8
Charlie is round.
("Charlie" "is" "round" "+")
triple7
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple9
Bob is red.
("Bob" "is" "red" "+")
((triple5 triple6) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
((triple10 triple11) -> (rule3 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((triple5 triple6 ((triple5 triple6) -> (rule3 % int2))) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
((triple10 triple11 ((triple10 triple11) -> (rule3 % int2))) -> (rule4 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
((((triple5 triple6 ((triple5 triple6) -> (rule3 % int3))) -> (rule4 % int2)) ((triple5 triple6) -> (rule3 % int3))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
((((triple10 triple11 ((triple10 triple11) -> (rule3 % int3))) -> (rule4 % int2)) ((triple10 triple11) -> (rule3 % int3))) -> (rule2 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Alan is big and rough looking but is very nice and kind.
Bob is round shaped and green colored.
Charlie is a man who is both round and rough.
Harry is young and round, he is also green.
Someone with round, red, and kind traits also will be green.
People,though rough and red,tend to be cold too.
A rather round and green person will be red.
A person who is red and green, will also tend to be round shaped and rough.