Anne is round. Fiona is kind. Gary is furry. Harry is kind. If something is white then it is big. If something is kind then it is white. If something is cold then it is white.
Anne is round.
("Anne" "is" "round" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If something is white then it is big.
((("something" "is" "white" "+")) -> ("something" "is" "big" "+"))
If something is kind then it is white.
((("something" "is" "kind" "+")) -> ("something" "is" "white" "+"))
If something is cold then it is white.
((("something" "is" "cold" "+")) -> ("something" "is" "white" "+"))
Fiona is kind.
True
1
proof
[(triple2)]
("Fiona" "is" "kind" "+")
triple2
Anne is not round.
False
1
inv-proof
[(triple1)]
("Anne" "is" "round" "-")
triple1
Fiona is white.
True
2
proof
[(((triple2) -> rule2))]
("Fiona" "is" "white" "+")
((triple2) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not white.
False
2
inv-proof
[(((triple2) -> rule2))]
("Fiona" "is" "white" "-")
((triple2) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Anne is not big.
Unknown
inv-rconc
[@2: Anne is big.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Anne" "is" "big" "-")
Gary is white.
Unknown
rconc
[@1: Gary is white.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "white" "+")
Harry is not furry.
Unknown
inv-random
[@0: Harry is furry.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "furry" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Anne is round.[(triple1)] Fiona is kind.[(triple2)] Gary is furry.[(triple3)] Harry is kind.[(triple4)] @1: Fiona is white.[(((triple2) -> rule2))] Harry is white.[(((triple4) -> rule2))] @2: Fiona is big.[(((((triple2) -> rule2)) -> rule1))] Harry is big.[(((((triple4) -> rule2)) -> rule1))]
Anne is round.
("Anne" "is" "round" "+")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple2
Gary is furry.
("Gary" "is" "furry" "+")
triple3
Harry is kind.
("Harry" "is" "kind" "+")
triple4
Fiona is white.
("Fiona" "is" "white" "+")
((triple2) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
((triple4) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2