Fiona is white. Harry is kind. All furry people are kind. If someone is white and rough then they are furry. If someone is white then they are furry. All quiet, furry people are white. All kind people are blue. Furry people are kind.
Fiona is white.
("Fiona" "is" "white" "+")
Harry is kind.
("Harry" "is" "kind" "+")
All furry people are kind.
((("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "+"))
If someone is white and rough then they are furry.
((("someone" "is" "white" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "+"))
If someone is white then they are furry.
((("someone" "is" "white" "+")) -> ("someone" "is" "furry" "+"))
All quiet, furry people are white.
((("someone" "is" "quiet" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "white" "+"))
All kind people are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
Furry people are kind.
((("someone" "is" "furry" "+")) -> ("someone" "is" "kind" "+"))
Fiona is white.
True
1
proof
[(triple1)]
("Fiona" "is" "white" "+")
triple1
Fiona is not white.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "white" "-")
triple1
Fiona is furry.
True
2
proof
[(((triple1) -> rule3))]
("Fiona" "is" "furry" "+")
((triple1) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Harry is not blue.
False
2
inv-proof
[(((triple2) -> rule5))]
("Harry" "is" "blue" "-")
((triple2) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Fiona is kind.
True
3
proof
[(((((triple1) -> rule3)) -> rule1) OR ((((triple1) -> rule3)) -> rule6))]
("Fiona" "is" "kind" "+")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((triple1) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is not kind.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule1) OR ((((triple1) -> rule3)) -> rule6))]
("Fiona" "is" "kind" "-")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((triple1) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is blue.
True
4
proof
[(((((((triple1) -> rule3)) -> rule1)) -> rule5) OR ((((((triple1) -> rule3)) -> rule6)) -> rule5))]
("Fiona" "is" "blue" "+")
((((((triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is not blue.
False
4
inv-proof
[(((((((triple1) -> rule3)) -> rule1)) -> rule5) OR ((((((triple1) -> rule3)) -> rule6)) -> rule5))]
("Fiona" "is" "blue" "-")
((((((triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Harry is not white.
Unknown
inv-rconc
[@1: Harry is white.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "white" "-")
Harry is furry.
Unknown
rconc
[@2: Harry is furry.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Harry" "is" "furry" "+")
Harry is not quiet.
Unknown
inv-random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Harry is cold.
Unknown
random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "+")
@0: Fiona is white.[(triple1)] Harry is kind.[(triple2)] @1: Fiona is furry.[(((triple1) -> rule3))] Harry is blue.[(((triple2) -> rule5))] @2: Fiona is kind.[(((((triple1) -> rule3)) -> rule1) OR ((((triple1) -> rule3)) -> rule6))] @3: Fiona is blue.[(((((((triple1) -> rule3)) -> rule1)) -> rule5) OR ((((((triple1) -> rule3)) -> rule6)) -> rule5))]
Fiona is white.
("Fiona" "is" "white" "+")
triple1
Harry is kind.
("Harry" "is" "kind" "+")
triple2
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple1) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple2) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((triple1) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
((((((triple1) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((((triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3