Anne is nice. Fiona is quiet. Harry is rough. All young things are not rough. All blue things are young. If something is quiet then it is young. If something is nice and blue then it is quiet. If something is quiet and not rough then it is cold. Rough things are cold.
Anne is nice.
("Anne" "is" "nice" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
All young things are not rough.
((("something" "is" "young" "+")) -> ("something" "is" "rough" "-"))
All blue things are young.
((("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
If something is quiet then it is young.
((("something" "is" "quiet" "+")) -> ("something" "is" "young" "+"))
If something is nice and blue then it is quiet.
((("something" "is" "nice" "+") ("something" "is" "blue" "+")) -> ("something" "is" "quiet" "+"))
If something is quiet and not rough then it is cold.
((("something" "is" "quiet" "+") ("something" "is" "rough" "~")) -> ("something" "is" "cold" "+"))
Rough things are cold.
((("something" "is" "rough" "+")) -> ("something" "is" "cold" "+"))
Fiona is quiet.
True
1
proof
[(triple2)]
("Fiona" "is" "quiet" "+")
triple2
Fiona is not quiet.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "quiet" "-")
triple2
Harry is cold.
True
2
proof
[(((triple3) -> rule6))]
("Harry" "is" "cold" "+")
((triple3) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is not cold.
False
2
inv-proof
[(((triple3) -> rule6))]
("Harry" "is" "cold" "-")
((triple3) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Fiona is not rough.
True
3
proof
[(((((triple2) -> rule3)) -> rule1))]
("Fiona" "is" "rough" "-")
((((triple2) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is not rough.
("Fiona" "is" "rough" "-")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is rough.
False
3
inv-proof
[(((((triple2) -> rule3)) -> rule1))]
("Fiona" "is" "rough" "+")
((((triple2) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is not rough.
("Fiona" "is" "rough" "-")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
True
5
proof
[(((triple2 ((((triple2) -> rule3)) -> rule1)) -> rule5))]
("Fiona" "is" "cold" "+")
((triple2 ((((triple2) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not rough.
("Fiona" "is" "rough" "-")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is not cold.
False
5
inv-proof
[(((triple2 ((((triple2) -> rule3)) -> rule1)) -> rule5))]
("Fiona" "is" "cold" "-")
((triple2 ((((triple2) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not rough.
("Fiona" "is" "rough" "-")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Harry is not quiet.
Unknown
inv-rconc
[@1: Harry is quiet.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "quiet" "-")
Anne is cold.
Unknown
rconc
[@1: Anne is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Anne" "is" "cold" "+")
Harry is not young.
Unknown
inv-rconc
[@2: Harry is young.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Harry" "is" "young" "-")
Anne is young.
Unknown
rconc
[@2: Anne is young.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Anne" "is" "young" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Anne is blue.
Unknown
random
[@0: Anne is blue.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "blue" "+")
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Anne is furry.
Unknown
random
[@0: Anne is furry.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "furry" "+")
@0: Anne is nice.[(triple1)] Fiona is quiet.[(triple2)] Harry is rough.[(triple3)] @1: Fiona is young.[(((triple2) -> rule3))] Harry is cold.[(((triple3) -> rule6))] @2: Fiona is not rough.[(((((triple2) -> rule3)) -> rule1))] @3: Fiona is cold.[(((triple2 ((((triple2) -> rule3)) -> rule1)) -> rule5))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple2
Harry is rough.
("Harry" "is" "rough" "+")
triple3
Fiona is young.
("Fiona" "is" "young" "+")
((triple2) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple3) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Fiona is not rough.
("Fiona" "is" "rough" "-")
((((triple2) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is not rough.
("Fiona" "is" "rough" "-")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
((triple2 ((((triple2) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is not rough.
("Fiona" "is" "rough" "-")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3