Fiona is round. Fiona is young. Harry is round. Green people are quiet. All white people are rough. If someone is round and quiet then they are not rough. Green people are young. Rough people are not young. If someone is round and not white then they are not green. If someone is round and young then they are green. All white, quiet people are red.
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Green people are quiet.
((("someone" "is" "green" "+")) -> ("someone" "is" "quiet" "+"))
All white people are rough.
((("someone" "is" "white" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and quiet then they are not rough.
((("someone" "is" "round" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "rough" "-"))
Green people are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
Rough people are not young.
((("someone" "is" "rough" "+")) -> ("someone" "is" "young" "-"))
If someone is round and not white then they are not green.
((("someone" "is" "round" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "green" "-"))
If someone is round and young then they are green.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
All white, quiet people are red.
((("someone" "is" "white" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "red" "+"))
Fiona is round.
True
1
proof
[(triple1)]
("Fiona" "is" "round" "+")
triple1
Harry is not round.
False
1
inv-proof
[(triple3)]
("Harry" "is" "round" "-")
triple3
Fiona is green.
True
3
proof
[(((triple1 triple2) -> rule7))]
("Fiona" "is" "green" "+")
((triple1 triple2) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is not green.
False
3
inv-proof
[(((triple1 triple2) -> rule7))]
("Fiona" "is" "green" "-")
((triple1 triple2) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is quiet.
True
4
proof
[(((((triple1 triple2) -> rule7)) -> rule1))]
("Fiona" "is" "quiet" "+")
((((triple1 triple2) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is not quiet.
False
4
inv-proof
[(((((triple1 triple2) -> rule7)) -> rule1))]
("Fiona" "is" "quiet" "-")
((((triple1 triple2) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is not rough.
True
6
proof
[(((triple1 ((((triple1 triple2) -> rule7)) -> rule1)) -> rule3))]
("Fiona" "is" "rough" "-")
((triple1 ((((triple1 triple2) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is not rough.
("Fiona" "is" "rough" "-")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
False
6
inv-proof
[(((triple1 ((((triple1 triple2) -> rule7)) -> rule1)) -> rule3))]
("Fiona" "is" "rough" "+")
((triple1 ((((triple1 triple2) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is not rough.
("Fiona" "is" "rough" "-")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is not red.
Unknown
inv-rconc
[@1: Fiona is red.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Fiona" "is" "red" "-")
Harry is rough.
Unknown
rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "rough" "+")
Harry is not young.
Unknown
inv-rconc
[@2: Harry is young.[CWA. Example of deepest failure = (rule4 <- rule7 <- FAIL)]]
("Harry" "is" "young" "-")
Harry is green.
Unknown
rconc
[@2: Harry is green.[CWA. Example of deepest failure = (rule7 <- rule4 <- FAIL)]]
("Harry" "is" "green" "+")
Fiona is not white.
Unknown
inv-random
[@0: Fiona is white.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "white" "-")
Harry is white.
Unknown
random
[@0: Harry is white.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "white" "+")
@0: Fiona is round.[(triple1)] Fiona is young.[(triple2)] Harry is round.[(triple3)] @1: Fiona is green.[(((triple1 triple2) -> rule7))] @2: Fiona is quiet.[(((((triple1 triple2) -> rule7)) -> rule1))] @3: Fiona is not rough.[(((triple1 ((((triple1 triple2) -> rule7)) -> rule1)) -> rule3))]
Fiona is round.
("Fiona" "is" "round" "+")
triple1
Fiona is young.
("Fiona" "is" "young" "+")
triple2
Harry is round.
("Harry" "is" "round" "+")
triple3
Fiona is green.
("Fiona" "is" "green" "+")
((triple1 triple2) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((triple1 triple2) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is not rough.
("Fiona" "is" "rough" "-")
((triple1 ((((triple1 triple2) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is not rough.
("Fiona" "is" "rough" "-")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3