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