Charlie is not furry. Fiona is blue. Fiona is not furry. Fiona is quiet. Fiona is not white. Gary is not blue. Gary is nice. Harry is cold. Harry is nice. Harry is white. If someone is furry then they are green. If someone is nice then they are not quiet. All cold people are furry.
Charlie is not furry.
("Charlie" "is" "furry" "-")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is not furry.
("Fiona" "is" "furry" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is not white.
("Fiona" "is" "white" "-")
Gary is not blue.
("Gary" "is" "blue" "-")
Gary is nice.
("Gary" "is" "nice" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is white.
("Harry" "is" "white" "+")
If someone is furry then they are green.
((("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
If someone is nice then they are not quiet.
((("someone" "is" "nice" "+")) -> ("someone" "is" "quiet" "-"))
All cold people are furry.
((("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
Harry is white.
True
1
proof
[(triple10)]
("Harry" "is" "white" "+")
triple10
Fiona is furry.
False
1
inv-proof
[(triple3)]
("Fiona" "is" "furry" "+")
triple3
Harry is furry.
True
2
proof
[(((triple8) -> rule3))]
("Harry" "is" "furry" "+")
((triple8) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is not furry.
False
2
inv-proof
[(((triple8) -> rule3))]
("Harry" "is" "furry" "-")
((triple8) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
True
3
proof
[(((((triple8) -> rule3)) -> rule1))]
("Harry" "is" "green" "+")
((((triple8) -> (rule3 % int2))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is not green.
False
3
inv-proof
[(((((triple8) -> rule3)) -> rule1))]
("Harry" "is" "green" "-")
((((triple8) -> (rule3 % int2))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Fiona is not green.
Unknown
inv-rconc
[@1: Fiona is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fiona" "is" "green" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "green" "+")
Gary is not green.
Unknown
inv-rconc
[@2: Gary is green.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("Gary" "is" "green" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
Charlie is not white.
Unknown
inv-random
[@0: Charlie is white.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "white" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Charlie is not furry.[(triple1)] Fiona is blue.[(triple2)] Fiona is not furry.[(triple3)] Fiona is not white.[(triple5)] Fiona is quiet.[(triple4)] Gary is nice.[(triple7)] Gary is not blue.[(triple6)] Harry is cold.[(triple8)] Harry is nice.[(triple9)] Harry is white.[(triple10)] @1: Gary is not quiet.[(((triple7) -> rule2))] Harry is furry.[(((triple8) -> rule3))] Harry is not quiet.[(((triple9) -> rule2))] @2: Harry is green.[(((((triple8) -> rule3)) -> rule1))]
Charlie is not furry.
("Charlie" "is" "furry" "-")
triple1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
Fiona is not furry.
("Fiona" "is" "furry" "-")
triple3
Fiona is not white.
("Fiona" "is" "white" "-")
triple5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple4
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is not blue.
("Gary" "is" "blue" "-")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is white.
("Harry" "is" "white" "+")
triple10
Gary is not quiet.
("Gary" "is" "quiet" "-")
((triple7) -> (rule2 % int1))
Gary is not quiet.
("Gary" "is" "quiet" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
((triple8) -> (rule3 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is not quiet.
("Harry" "is" "quiet" "-")
((triple9) -> (rule2 % int1))
Harry is not quiet.
("Harry" "is" "quiet" "-")
int1
Harry is green.
("Harry" "is" "green" "+")
((((triple8) -> (rule3 % int2))) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2