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