Fiona is blue. Fiona is green. Fiona is quiet. Fiona is smart. Harry is not rough. Harry is round. Harry is smart. If something is round then it is quiet. Quiet, smart things are round. Green, rough things are round. If Fiona is blue and Fiona is quiet then Fiona is round. All blue things are kind. Rough things are kind. If something is rough then it is smart. If Fiona is quiet then Fiona is rough.
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is not rough.
("Harry" "is" "rough" "-")
Harry is round.
("Harry" "is" "round" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If something is round then it is quiet.
((("something" "is" "round" "+")) -> ("something" "is" "quiet" "+"))
Quiet, smart things are round.
((("something" "is" "quiet" "+") ("something" "is" "smart" "+")) -> ("something" "is" "round" "+"))
Green, rough things are round.
((("something" "is" "green" "+") ("something" "is" "rough" "+")) -> ("something" "is" "round" "+"))
If Fiona is blue and Fiona is quiet then Fiona is round.
((("Fiona" "is" "blue" "+") ("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "round" "+"))
All blue things are kind.
((("something" "is" "blue" "+")) -> ("something" "is" "kind" "+"))
Rough things are kind.
((("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
If something is rough then it is smart.
((("something" "is" "rough" "+")) -> ("something" "is" "smart" "+"))
If Fiona is quiet then Fiona is rough.
((("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "rough" "+"))
Fiona is green.
True
1
proof
[(triple2)]
("Fiona" "is" "green" "+")
triple2
Fiona is not green.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "green" "-")
triple2
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "kind" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Fiona is blue.[(triple1)] Fiona is green.[(triple2)] Fiona is quiet.[(triple3)] Fiona is smart.[(triple4 OR ((((triple3) -> rule8)) -> rule7))] Harry is not rough.[(triple5)] Harry is round.[(triple6)] Harry is smart.[(triple7)] @1: Fiona is kind.[(((triple1) -> rule5) OR ((((triple3) -> rule8)) -> rule6))] Fiona is rough.[(((triple3) -> rule8))] Fiona is round.[(((triple1 triple3) -> rule4) OR ((triple3 triple4) -> rule2) OR ((triple2 ((triple3) -> rule8)) -> rule3) OR ((triple3 ((((triple3) -> rule8)) -> rule7)) -> rule2))] Harry is quiet.[(((triple6) -> rule1))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple1
Fiona is green.
("Fiona" "is" "green" "+")
triple2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple3
Fiona is smart.
("Fiona" "is" "smart" "+")
triple4
((((triple3) -> (rule8 % int2))) -> (rule7 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Harry is not rough.
("Harry" "is" "rough" "-")
triple5
Harry is round.
("Harry" "is" "round" "+")
triple6
Harry is smart.
("Harry" "is" "smart" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple1) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((((triple3) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple3) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
((triple1 triple3) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((triple3 triple4) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((triple2 ((triple3) -> (rule8 % int2))) -> (rule3 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((triple3 ((((triple3) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple6) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1