Bob is not rough. Fiona is not nice. Fiona is not round. Fiona is not white. Fiona is young. Gary is round. Harry is cold. Harry is nice. Harry is not rough. Harry is round. If someone is quiet then they are white. All round people are white. If Gary is cold and Gary is rough then Gary is round. If Gary is quiet and Gary is round then Gary is nice. All white people are quiet. If someone is rough and round then they are quiet. If someone is white then they are round. If Bob is nice and Bob is not round then Bob is not young.
Bob is not rough.
("Bob" "is" "rough" "-")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Fiona is not round.
("Fiona" "is" "round" "-")
Fiona is not white.
("Fiona" "is" "white" "-")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is not rough.
("Harry" "is" "rough" "-")
Harry is round.
("Harry" "is" "round" "+")
If someone is quiet then they are white.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
All round people are white.
((("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
If Gary is cold and Gary is rough then Gary is round.
((("Gary" "is" "cold" "+") ("Gary" "is" "rough" "+")) -> ("Gary" "is" "round" "+"))
If Gary is quiet and Gary is round then Gary is nice.
((("Gary" "is" "quiet" "+") ("Gary" "is" "round" "+")) -> ("Gary" "is" "nice" "+"))
All white people are quiet.
((("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "+"))
If someone is rough and round then they are quiet.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "quiet" "+"))
If someone is white then they are round.
((("someone" "is" "white" "+")) -> ("someone" "is" "round" "+"))
If Bob is nice and Bob is not round then Bob is not young.
((("Bob" "is" "nice" "+") ("Bob" "is" "round" "~")) -> ("Bob" "is" "young" "-"))
Fiona is not white.
True
1
proof
[(triple4)]
("Fiona" "is" "white" "-")
triple4
Harry is rough.
False
1
inv-proof
[(triple9)]
("Harry" "is" "rough" "+")
triple9
Gary is white.
True
2
proof
[(((triple6) -> rule2))]
("Gary" "is" "white" "+")
((triple6) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is not white.
False
2
inv-proof
[(((triple6) -> rule2))]
("Gary" "is" "white" "-")
((triple6) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Harry is quiet.
True
3
proof
[(((((triple10) -> rule2)) -> rule5))]
("Harry" "is" "quiet" "+")
((((triple10) -> (rule2 % int2))) -> (rule5 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Gary is not quiet.
False
3
inv-proof
[(((((triple6) -> rule2)) -> rule5))]
("Gary" "is" "quiet" "-")
((((triple6) -> (rule2 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Bob is not round.
Unknown
inv-rconc
[@4: Bob is round.[CWA. Example of deepest failure = (rule7 <- rule1 <- rule5 <- rule2 <- FAIL)]]
("Bob" "is" "round" "-")
Fiona is quiet.
Unknown
rconc
[@1: Fiona is quiet.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fiona" "is" "quiet" "+")
Bob is not quiet.
Unknown
inv-rconc
[@5: Bob is quiet.[CWA. Example of deepest failure = (rule5 <- rule2 <- rule7 <- rule1 <- rule6 <- FAIL)]]
("Bob" "is" "quiet" "-")
Fiona is cold.
Unknown
random
[@0: Fiona is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "cold" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
@0: Bob is not rough.[(triple1)] Fiona is not nice.[(triple2)] Fiona is not round.[(triple3)] Fiona is not white.[(triple4)] Fiona is young.[(triple5)] Gary is round.[(triple6)] Harry is cold.[(triple7)] Harry is nice.[(triple8)] Harry is not rough.[(triple9)] Harry is round.[(triple10)] @1: Gary is white.[(((triple6) -> rule2))] Harry is white.[(((triple10) -> rule2))] @2: Gary is quiet.[(((((triple6) -> rule2)) -> rule5))] Harry is quiet.[(((((triple10) -> rule2)) -> rule5))] @3: Gary is nice.[(((((((triple6) -> rule2)) -> rule5) triple6) -> rule4))]
Bob is not rough.
("Bob" "is" "rough" "-")
triple1
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple2
Fiona is not round.
("Fiona" "is" "round" "-")
triple3
Fiona is not white.
("Fiona" "is" "white" "-")
triple4
Fiona is young.
("Fiona" "is" "young" "+")
triple5
Gary is round.
("Gary" "is" "round" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
triple8
Harry is not rough.
("Harry" "is" "rough" "-")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple10
Gary is white.
("Gary" "is" "white" "+")
((triple6) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
((triple10) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
((((triple6) -> (rule2 % int2))) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
((((triple10) -> (rule2 % int2))) -> (rule5 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
((((((triple6) -> (rule2 % int3))) -> (rule5 % int2)) triple6) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3