Anne is not blue. Anne is green. Anne is not kind. Anne is rough. Anne is young. Bob is cold. Bob is kind. Fiona is blue. Fiona is cold. Fiona is rough. Harry is not cold. Harry is not green. Harry is kind. Harry is quiet. Harry is rough. Harry is not young. If Fiona is green then Fiona is young. All young, cold things are green. Blue things are green. If something is green and not cold then it is kind. If Harry is young then Harry is blue. If something is quiet and not rough then it is not young.
Anne is not blue.
("Anne" "is" "blue" "-")
Anne is green.
("Anne" "is" "green" "+")
Anne is not kind.
("Anne" "is" "kind" "-")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Harry is not cold.
("Harry" "is" "cold" "-")
Harry is not green.
("Harry" "is" "green" "-")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is not young.
("Harry" "is" "young" "-")
If Fiona is green then Fiona is young.
((("Fiona" "is" "green" "+")) -> ("Fiona" "is" "young" "+"))
All young, cold things are green.
((("something" "is" "young" "+") ("something" "is" "cold" "+")) -> ("something" "is" "green" "+"))
Blue things are green.
((("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
If something is green and not cold then it is kind.
((("something" "is" "green" "+") ("something" "is" "cold" "~")) -> ("something" "is" "kind" "+"))
If Harry is young then Harry is blue.
((("Harry" "is" "young" "+")) -> ("Harry" "is" "blue" "+"))
If something is quiet and not rough then it is not young.
((("something" "is" "quiet" "+") ("something" "is" "rough" "~")) -> ("something" "is" "young" "-"))
Fiona is cold.
True
1
proof
[(triple9)]
("Fiona" "is" "cold" "+")
triple9
Harry is young.
False
1
inv-proof
[(triple16)]
("Harry" "is" "young" "+")
triple16
Fiona is green.
True
2
proof
[(((triple8) -> rule3))]
("Fiona" "is" "green" "+")
((triple8) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not green.
False
2
inv-proof
[(((triple8) -> rule3))]
("Fiona" "is" "green" "-")
((triple8) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
True
3
proof
[(((((triple8) -> rule3)) -> rule1))]
("Fiona" "is" "young" "+")
((((triple8) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is not young.
False
3
inv-proof
[(((((triple8) -> rule3)) -> rule1))]
("Fiona" "is" "young" "-")
((((triple8) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "blue" "-")
Bob is green.
Unknown
rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "green" "+")
Fiona is not kind.
Unknown
inv-rconc
[@1: Fiona is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "kind" "-")
Anne is quiet.
Unknown
random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "+")
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Fiona is quiet.
Unknown
random
[@0: Fiona is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "quiet" "+")
@0: Anne is green.[(triple2)] Anne is not blue.[(triple1)] Anne is not kind.[(triple3)] Anne is rough.[(triple4)] Anne is young.[(triple5)] Bob is cold.[(triple6)] Bob is kind.[(triple7)] Fiona is blue.[(triple8)] Fiona is cold.[(triple9)] Fiona is rough.[(triple10)] Harry is kind.[(triple13)] Harry is not cold.[(triple11)] Harry is not green.[(triple12)] Harry is not young.[(triple16)] Harry is quiet.[(triple14)] Harry is rough.[(triple15)] @1: Fiona is green.[(((triple8) -> rule3))] @2: Fiona is young.[(((((triple8) -> rule3)) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is not blue.
("Anne" "is" "blue" "-")
triple1
Anne is not kind.
("Anne" "is" "kind" "-")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
triple4
Anne is young.
("Anne" "is" "young" "+")
triple5
Bob is cold.
("Bob" "is" "cold" "+")
triple6
Bob is kind.
("Bob" "is" "kind" "+")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
triple8
Fiona is cold.
("Fiona" "is" "cold" "+")
triple9
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10
Harry is kind.
("Harry" "is" "kind" "+")
triple13
Harry is not cold.
("Harry" "is" "cold" "-")
triple11
Harry is not green.
("Harry" "is" "green" "-")
triple12
Harry is not young.
("Harry" "is" "young" "-")
triple16
Harry is quiet.
("Harry" "is" "quiet" "+")
triple14
Harry is rough.
("Harry" "is" "rough" "+")
triple15
Fiona is green.
("Fiona" "is" "green" "+")
((triple8) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((((triple8) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2