Fiona is kind. Harry is nice. Furry things are nice. All nice things are red. If something is white then it is blue. Nice, red things are blue. If Fiona is red then Fiona is white. All furry, kind things are nice.
Fiona is kind.
("Fiona" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Furry things are nice.
((("something" "is" "furry" "+")) -> ("something" "is" "nice" "+"))
All nice things are red.
((("something" "is" "nice" "+")) -> ("something" "is" "red" "+"))
If something is white then it is blue.
((("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
Nice, red things are blue.
((("something" "is" "nice" "+") ("something" "is" "red" "+")) -> ("something" "is" "blue" "+"))
If Fiona is red then Fiona is white.
((("Fiona" "is" "red" "+")) -> ("Fiona" "is" "white" "+"))
All furry, kind things are nice.
((("something" "is" "furry" "+") ("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
Fiona is kind.
True
1
proof
[(triple1)]
("Fiona" "is" "kind" "+")
triple1
Harry is not nice.
False
1
inv-proof
[(triple2)]
("Harry" "is" "nice" "-")
triple2
Harry is red.
True
2
proof
[(((triple2) -> rule2))]
("Harry" "is" "red" "+")
((triple2) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is not red.
False
2
inv-proof
[(((triple2) -> rule2))]
("Harry" "is" "red" "-")
((triple2) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
True
4
proof
[(((triple2 ((triple2) -> rule2)) -> rule4))]
("Harry" "is" "blue" "+")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is not blue.
False
4
inv-proof
[(((triple2 ((triple2) -> rule2)) -> rule4))]
("Harry" "is" "blue" "-")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Fiona is not white.
Unknown
inv-rconc
[@3: Fiona is white.[CWA. Example of deepest failure = (rule5 <- rule2 <- rule1 <- FAIL)]]
("Fiona" "is" "white" "-")
Fiona is red.
Unknown
rconc
[@2: Fiona is red.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Fiona" "is" "red" "+")
Fiona is not nice.
Unknown
inv-rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "nice" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
@0: Fiona is kind.[(triple1)] Harry is nice.[(triple2)] @1: Harry is red.[(((triple2) -> rule2))] @2: Harry is blue.[(((triple2 ((triple2) -> rule2)) -> rule4))]
Fiona is kind.
("Fiona" "is" "kind" "+")
triple1
Harry is nice.
("Harry" "is" "nice" "+")
triple2
Harry is red.
("Harry" "is" "red" "+")
((triple2) -> (rule2 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2