Anne is big. Anne is cold. Anne is kind. Anne is nice. Anne is round. Bob is kind. Bob is young. Erin is rough. Erin is round. Gary is cold. Gary is kind. Gary is nice. Rough people are kind. Nice people are young. If Anne is round and Anne is kind then Anne is rough. Kind people are big. If someone is young and rough then they are big. If Gary is cold and Gary is rough then Gary is nice.
Anne is big.
("Anne" "is" "big" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is round.
("Anne" "is" "round" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is young.
("Bob" "is" "young" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Rough people are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
Nice people are young.
((("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If Anne is round and Anne is kind then Anne is rough.
((("Anne" "is" "round" "+") ("Anne" "is" "kind" "+")) -> ("Anne" "is" "rough" "+"))
Kind people are big.
((("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is young and rough then they are big.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If Gary is cold and Gary is rough then Gary is nice.
((("Gary" "is" "cold" "+") ("Gary" "is" "rough" "+")) -> ("Gary" "is" "nice" "+"))
Gary is nice.
True
1
proof
[(triple12)]
("Gary" "is" "nice" "+")
triple12
Gary is not nice.
False
1
inv-proof
[(triple12)]
("Gary" "is" "nice" "-")
triple12
Erin is not young.
Unknown
inv-rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "young" "-")
Bob is cold.
Unknown
random
[@0: Bob is cold.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "cold" "+")
@0: Anne is big.[(triple1 OR ((triple3) -> rule4) OR ((((triple4) -> rule2) ((triple5 triple3) -> rule3)) -> rule5))] Anne is cold.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4)] Anne is round.[(triple5)] Bob is kind.[(triple6)] Bob is young.[(triple7)] Erin is rough.[(triple8)] Erin is round.[(triple9)] Gary is cold.[(triple10)] Gary is kind.[(triple11)] Gary is nice.[(triple12)] @1: Anne is rough.[(((triple5 triple3) -> rule3))] Anne is young.[(((triple4) -> rule2))] Bob is big.[(((triple6) -> rule4))] Erin is kind.[(((triple8) -> rule1))] Gary is big.[(((triple11) -> rule4))] Gary is young.[(((triple12) -> rule2))] @2: Erin is big.[(((((triple8) -> rule1)) -> rule4))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple3) -> (rule4 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((((triple4) -> (rule2 % int3)) ((triple5 triple3) -> (rule3 % int2))) -> (rule5 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is kind.
("Anne" "is" "kind" "+")
triple3
Anne is nice.
("Anne" "is" "nice" "+")
triple4
Anne is round.
("Anne" "is" "round" "+")
triple5
Bob is kind.
("Bob" "is" "kind" "+")
triple6
Bob is young.
("Bob" "is" "young" "+")
triple7
Erin is rough.
("Erin" "is" "rough" "+")
triple8
Erin is round.
("Erin" "is" "round" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple11
Gary is nice.
("Gary" "is" "nice" "+")
triple12
Anne is rough.
("Anne" "is" "rough" "+")
((triple5 triple3) -> (rule3 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
((triple4) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
((triple6) -> (rule4 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((triple8) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple11) -> (rule4 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple12) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
((((triple8) -> (rule1 % int2))) -> (rule4 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2