Fiona is furry. Harry is nice. Harry is young. If something is green then it is white. If Fiona is white then Fiona is green. All furry things are white. If Harry is white then Harry is furry. Green things are nice. If something is nice then it is blue. If Fiona is green then Fiona is white. If something is furry and white then it is blue.
Fiona is furry.
("Fiona" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is young.
("Harry" "is" "young" "+")
If something is green then it is white.
((("something" "is" "green" "+")) -> ("something" "is" "white" "+"))
If Fiona is white then Fiona is green.
((("Fiona" "is" "white" "+")) -> ("Fiona" "is" "green" "+"))
All furry things are white.
((("something" "is" "furry" "+")) -> ("something" "is" "white" "+"))
If Harry is white then Harry is furry.
((("Harry" "is" "white" "+")) -> ("Harry" "is" "furry" "+"))
Green things are nice.
((("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
If something is nice then it is blue.
((("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
If Fiona is green then Fiona is white.
((("Fiona" "is" "green" "+")) -> ("Fiona" "is" "white" "+"))
If something is furry and white then it is blue.
((("something" "is" "furry" "+") ("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
Fiona is furry.
True
1
proof
[(triple1)]
("Fiona" "is" "furry" "+")
triple1
Harry is not nice.
False
1
inv-proof
[(triple2)]
("Harry" "is" "nice" "-")
triple2
Harry is blue.
True
2
proof
[(((triple2) -> rule6))]
("Harry" "is" "blue" "+")
((triple2) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Fiona is not white.
False
2
inv-proof
[(((triple1) -> rule3))]
("Fiona" "is" "white" "-")
((triple1) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is green.
True
3
proof
[(((((triple1) -> rule3)) -> rule2))]
("Fiona" "is" "green" "+")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is not green.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule2))]
("Fiona" "is" "green" "-")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Harry is not furry.
Unknown
inv-rconc
[@2: Harry is furry.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Harry" "is" "furry" "-")
Harry is white.
Unknown
rconc
[@3: Harry is white.[CWA. Example of deepest failure = (rule3 <- rule4 <- rule1 <- FAIL)]]
("Harry" "is" "white" "+")
Fiona is not young.
Unknown
inv-random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Fiona is furry.[(triple1)] Harry is nice.[(triple2)] Harry is young.[(triple3)] @1: Fiona is white.[(((triple1) -> rule3))] Harry is blue.[(((triple2) -> rule6))] @2: Fiona is blue.[(((triple1 ((triple1) -> rule3)) -> rule8) OR ((((((((triple1) -> rule3)) -> rule2)) -> rule5)) -> rule6))] Fiona is green.[(((((triple1) -> rule3)) -> rule2))] @3: Fiona is nice.[(((((((triple1) -> rule3)) -> rule2)) -> rule5))]
Fiona is furry.
("Fiona" "is" "furry" "+")
triple1
Harry is nice.
("Harry" "is" "nice" "+")
triple2
Harry is young.
("Harry" "is" "young" "+")
triple3
Fiona is white.
("Fiona" "is" "white" "+")
((triple1) -> (rule3 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple2) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple1 ((triple1) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((((((((triple1) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
((((triple1) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
((((((triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3