Fiona is cold. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is smart. Gary is not quiet. Gary is round. If someone is cold then they are quiet. All white, cold people are smart. Quiet people are smart. If Gary is smart then Gary is round. If someone is smart and not rough then they are round. If someone is cold then they are round. All round, cold people are kind. If Fiona is quiet then Fiona is round.
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is not quiet.
("Gary" "is" "quiet" "-")
Gary is round.
("Gary" "is" "round" "+")
If someone is cold then they are quiet.
((("someone" "is" "cold" "+")) -> ("someone" "is" "quiet" "+"))
All white, cold people are smart.
((("someone" "is" "white" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "+"))
Quiet people are smart.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "smart" "+"))
If Gary is smart then Gary is round.
((("Gary" "is" "smart" "+")) -> ("Gary" "is" "round" "+"))
If someone is smart and not rough then they are round.
((("someone" "is" "smart" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "round" "+"))
If someone is cold then they are round.
((("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
All round, cold people are kind.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If Fiona is quiet then Fiona is round.
((("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "round" "+"))
Fiona is smart.
True
1
proof
[(triple5 OR ((triple2) -> rule3) OR ((((triple1) -> rule1)) -> rule3))]
("Fiona" "is" "smart" "+")
triple5
((triple2) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is not cold.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "cold" "-")
triple1
Fiona is kind.
True
3
proof
[(((triple4 triple1) -> rule7) OR ((((triple1) -> rule6) triple1) -> rule7) OR ((((triple2) -> rule8) triple1) -> rule7) OR ((((((triple1) -> rule1)) -> rule8) triple1) -> rule7))]
("Fiona" "is" "kind" "+")
((triple4 triple1) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((((triple1) -> (rule6 % int2)) triple1) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple2) -> (rule8 % int2)) triple1) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((((triple1) -> (rule1 % int3))) -> (rule8 % int2)) triple1) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is not kind.
False
3
inv-proof
[(((triple4 triple1) -> rule7) OR ((((triple1) -> rule6) triple1) -> rule7) OR ((((triple2) -> rule8) triple1) -> rule7) OR ((((((triple1) -> rule1)) -> rule8) triple1) -> rule7))]
("Fiona" "is" "kind" "-")
((triple4 triple1) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((((triple1) -> (rule6 % int2)) triple1) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple2) -> (rule8 % int2)) triple1) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((((triple1) -> (rule1 % int3))) -> (rule8 % int2)) triple1) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Gary is not kind.
Unknown
inv-rconc
[@1: Gary is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "kind" "-")
Gary is smart.
Unknown
rconc
[@1: Gary is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "smart" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
@0: Fiona is cold.[(triple1)] Fiona is quiet.[(triple2 OR ((triple1) -> rule1))] Fiona is rough.[(triple3)] Fiona is round.[(triple4 OR ((triple1) -> rule6) OR ((triple2) -> rule8) OR ((((triple1) -> rule1)) -> rule8))] Fiona is smart.[(triple5 OR ((triple2) -> rule3) OR ((((triple1) -> rule1)) -> rule3))] Gary is not quiet.[(triple6)] Gary is round.[(triple7)] @1: Fiona is kind.[(((triple4 triple1) -> rule7) OR ((((triple1) -> rule6) triple1) -> rule7) OR ((((triple2) -> rule8) triple1) -> rule7) OR ((((((triple1) -> rule1)) -> rule8) triple1) -> rule7))]
Fiona is cold.
("Fiona" "is" "cold" "+")
triple1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple2
((triple1) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple3
Fiona is round.
("Fiona" "is" "round" "+")
triple4
((triple1) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((triple2) -> (rule8 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((((triple1) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple5
((triple2) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Gary is not quiet.
("Gary" "is" "quiet" "-")
triple6
Gary is round.
("Gary" "is" "round" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple4 triple1) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((((triple1) -> (rule6 % int2)) triple1) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((triple2) -> (rule8 % int2)) triple1) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((((triple1) -> (rule1 % int3))) -> (rule8 % int2)) triple1) -> (rule7 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3