Bob is not quiet. Bob is red. Bob is not young. Charlie is big. Charlie is rough. Fiona is big. Fiona is young. All round, rough people are young. If someone is round and red then they are rough. If someone is red and not big then they are rough. If Charlie is young and Charlie is not big then Charlie is not rough. If Charlie is nice then Charlie is not red. If someone is young then they are red. If someone is red and not round then they are nice. If someone is red and big then they are quiet.
Bob is not quiet.
("Bob" "is" "quiet" "-")
Bob is red.
("Bob" "is" "red" "+")
Bob is not young.
("Bob" "is" "young" "-")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is young.
("Fiona" "is" "young" "+")
All round, rough people are young.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is round and red then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is red and not big then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "rough" "+"))
If Charlie is young and Charlie is not big then Charlie is not rough.
((("Charlie" "is" "young" "+") ("Charlie" "is" "big" "~")) -> ("Charlie" "is" "rough" "-"))
If Charlie is nice then Charlie is not red.
((("Charlie" "is" "nice" "+")) -> ("Charlie" "is" "red" "-"))
If someone is young then they are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is red and not round then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "nice" "+"))
If someone is red and big then they are quiet.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "quiet" "+"))
Charlie is big.
True
1
proof
[(triple4)]
("Charlie" "is" "big" "+")
triple4
Charlie is not rough.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "rough" "-")
triple5
Fiona is red.
True
2
proof
[(((triple7) -> rule6))]
("Fiona" "is" "red" "+")
((triple7) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is not red.
False
2
inv-proof
[(((triple7) -> rule6))]
("Fiona" "is" "red" "-")
((triple7) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is quiet.
True
4
proof
[(((((triple7) -> rule6) triple6) -> rule8))]
("Fiona" "is" "quiet" "+")
((((triple7) -> (rule6 % int2)) triple6) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is not quiet.
False
4
inv-proof
[(((((triple7) -> rule6) triple6) -> rule8))]
("Fiona" "is" "quiet" "-")
((((triple7) -> (rule6 % int2)) triple6) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Charlie" "is" "nice" "-")
Fiona is rough.
Unknown
rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "rough" "+")
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "rough" "-")
Fiona is round.
Unknown
random
[@0: Fiona is round.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "round" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Bob is not quiet.[(triple1)] Bob is not young.[(triple3)] Bob is red.[(triple2)] Charlie is big.[(triple4)] Charlie is rough.[(triple5)] Fiona is big.[(triple6)] Fiona is young.[(triple7)] @1: Fiona is red.[(((triple7) -> rule6))] @2: Fiona is quiet.[(((((triple7) -> rule6) triple6) -> rule8))]
Bob is not quiet.
("Bob" "is" "quiet" "-")
triple1
Bob is not young.
("Bob" "is" "young" "-")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7
Fiona is red.
("Fiona" "is" "red" "+")
((triple7) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((triple7) -> (rule6 % int2)) triple6) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2