Anne is kind. Anne is red. Fiona is quiet. Gary is not nice. Gary is quiet. Gary is round. Harry is not red. All round people are young. If someone is quiet then they are smart. Red people are not smart. If someone is red and not quiet then they are nice. Nice people are kind. If someone is smart then they are round.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is red.
("Anne" "is" "red" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Gary is not nice.
("Gary" "is" "nice" "-")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is not red.
("Harry" "is" "red" "-")
All round people are young.
((("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is quiet then they are smart.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "smart" "+"))
Red people are not smart.
((("someone" "is" "red" "+")) -> ("someone" "is" "smart" "-"))
If someone is red and not quiet then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "nice" "+"))
Nice people are kind.
((("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is smart then they are round.
((("someone" "is" "smart" "+")) -> ("someone" "is" "round" "+"))
Harry is not red.
True
1
proof
[(triple7)]
("Harry" "is" "red" "-")
triple7
Harry is red.
False
1
inv-proof
[(triple7)]
("Harry" "is" "red" "+")
triple7
Anne is not smart.
True
2
proof
[(((triple2) -> rule3))]
("Anne" "is" "smart" "-")
((triple2) -> (rule3 % int1))
Anne is not smart.
("Anne" "is" "smart" "-")
int1
Fiona is not smart.
False
2
inv-proof
[(((triple3) -> rule2))]
("Fiona" "is" "smart" "-")
((triple3) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
True
3
proof
[(((((triple3) -> rule2)) -> rule6))]
("Fiona" "is" "round" "+")
((((triple3) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is not round.
False
3
inv-proof
[(((((triple3) -> rule2)) -> rule6))]
("Fiona" "is" "round" "-")
((((triple3) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is young.
True
4
proof
[(((((((triple3) -> rule2)) -> rule6)) -> rule1))]
("Fiona" "is" "young" "+")
((((((triple3) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is not young.
False
4
inv-proof
[(((((((triple3) -> rule2)) -> rule6)) -> rule1))]
("Fiona" "is" "young" "-")
((((((triple3) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is not nice.
Unknown
inv-rconc
[@1: Fiona is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Fiona" "is" "nice" "-")
Fiona is kind.
Unknown
rconc
[@2: Fiona is kind.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Fiona" "is" "kind" "+")
Harry is not smart.
Unknown
inv-rconc
[@1: Harry is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "smart" "-")
Harry is nice.
Unknown
rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "nice" "+")
Harry is not quiet.
Unknown
inv-random
[@0: Harry is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "quiet" "-")
Anne is quiet.
Unknown
random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
@0: Anne is kind.[(triple1)] Anne is red.[(triple2)] Fiona is quiet.[(triple3)] Gary is not nice.[(triple4)] Gary is quiet.[(triple5)] Gary is round.[(triple6 OR ((((triple5) -> rule2)) -> rule6))] Harry is not red.[(triple7)] @1: Anne is not smart.[(((triple2) -> rule3))] Fiona is smart.[(((triple3) -> rule2))] Gary is smart.[(((triple5) -> rule2))] Gary is young.[(((triple6) -> rule1) OR ((((((triple5) -> rule2)) -> rule6)) -> rule1))] @2: Fiona is round.[(((((triple3) -> rule2)) -> rule6))] @3: Fiona is young.[(((((((triple3) -> rule2)) -> rule6)) -> rule1))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple3
Gary is not nice.
("Gary" "is" "nice" "-")
triple4
Gary is quiet.
("Gary" "is" "quiet" "+")
triple5
Gary is round.
("Gary" "is" "round" "+")
triple6
((((triple5) -> (rule2 % int2))) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Harry is not red.
("Harry" "is" "red" "-")
triple7
Anne is not smart.
("Anne" "is" "smart" "-")
((triple2) -> (rule3 % int1))
Anne is not smart.
("Anne" "is" "smart" "-")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple3) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
((triple5) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple6) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((((((triple5) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
((((triple3) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
((((((triple3) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3