Anne is cold. Bob is smart. Bob is young. If someone is smart then they are rough. All rough, cold people are nice. If someone is round and rough then they are young. All young, rough people are cold. All round people are cold. Rough, young people are round.
Anne is cold.
("Anne" "is" "cold" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Bob is young.
("Bob" "is" "young" "+")
If someone is smart then they are rough.
((("someone" "is" "smart" "+")) -> ("someone" "is" "rough" "+"))
All rough, cold people are nice.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is round and rough then they are young.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
All young, rough people are cold.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
All round people are cold.
((("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
Rough, young people are round.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
Bob is young.
True
1
proof
[(triple3)]
("Bob" "is" "young" "+")
triple3
Bob is not young.
False
1
inv-proof
[(triple3)]
("Bob" "is" "young" "-")
triple3
Anne is not young.
Unknown
inv-rconc
[@2: Anne is young.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Anne" "is" "young" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
@0: Anne is cold.[(triple1)] Bob is smart.[(triple2)] Bob is young.[(triple3)] @1: Bob is rough.[(((triple2) -> rule1))] @2: Bob is cold.[(((triple3 ((triple2) -> rule1)) -> rule4) OR ((((((triple2) -> rule1) triple3) -> rule6)) -> rule5))] Bob is round.[(((((triple2) -> rule1) triple3) -> rule6))] @3: Bob is nice.[(((((triple2) -> rule1) ((triple3 ((triple2) -> rule1)) -> rule4)) -> rule2) OR ((((triple2) -> rule1) ((((((triple2) -> rule1) triple3) -> rule6)) -> rule5)) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Bob is smart.
("Bob" "is" "smart" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple3
Bob is rough.
("Bob" "is" "rough" "+")
((triple2) -> (rule1 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((triple3 ((triple2) -> (rule1 % int2))) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((((triple2) -> (rule1 % int3)) triple3) -> (rule6 % int2))) -> (rule5 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
((((triple2) -> (rule1 % int2)) triple3) -> (rule6 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((((triple2) -> (rule1 % int3)) ((triple3 ((triple2) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((triple2) -> (rule1 % int4)) ((((((triple2) -> (rule1 % int4)) triple3) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4