Anne is furry. Charlie is round. Fiona is round. Gary is kind. If Fiona is round then Fiona is young. Young, round people are cold. Cold people are kind.
Anne is furry.
("Anne" "is" "furry" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If Fiona is round then Fiona is young.
((("Fiona" "is" "round" "+")) -> ("Fiona" "is" "young" "+"))
Young, round people are cold.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
Cold people are kind.
((("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
Fiona is round.
True
1
proof
[(triple3)]
("Fiona" "is" "round" "+")
triple3
Fiona is not round.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "round" "-")
triple3
Fiona is young.
True
2
proof
[(((triple3) -> rule1))]
("Fiona" "is" "young" "+")
((triple3) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is not young.
False
2
inv-proof
[(((triple3) -> rule1))]
("Fiona" "is" "young" "-")
((triple3) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Anne is not cold.
Unknown
inv-rconc
[@1: Anne is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "cold" "-")
Anne is kind.
Unknown
rconc
[@2: Anne is kind.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Anne" "is" "kind" "+")
Gary is not furry.
Unknown
inv-random
[@0: Gary is furry.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "furry" "-")
Charlie is smart.
Unknown
random
[@0: Charlie is smart.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "smart" "+")
@0: Anne is furry.[(triple1)] Charlie is round.[(triple2)] Fiona is round.[(triple3)] Gary is kind.[(triple4)] @1: Fiona is young.[(((triple3) -> rule1))] @2: Fiona is cold.[(((((triple3) -> rule1) triple3) -> rule2))] @3: Fiona is kind.[(((((((triple3) -> rule1) triple3) -> rule2)) -> rule3))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Charlie is round.
("Charlie" "is" "round" "+")
triple2
Fiona is round.
("Fiona" "is" "round" "+")
triple3
Gary is kind.
("Gary" "is" "kind" "+")
triple4
Fiona is young.
("Fiona" "is" "young" "+")
((triple3) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
((((triple3) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
((((((triple3) -> (rule1 % int3)) triple3) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3