Erin is kind. Erin is smart. Fiona is big. Fiona is blue. Fiona is rough. Fiona is round. Fiona is young. Harry is not kind. Harry is not rough. Harry is round. All round, blue things are not kind. Kind things are round. If something is rough then it is blue.
Erin is kind.
("Erin" "is" "kind" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is not kind.
("Harry" "is" "kind" "-")
Harry is not rough.
("Harry" "is" "rough" "-")
Harry is round.
("Harry" "is" "round" "+")
All round, blue things are not kind.
((("something" "is" "round" "+") ("something" "is" "blue" "+")) -> ("something" "is" "kind" "-"))
Kind things are round.
((("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
If something is rough then it is blue.
((("something" "is" "rough" "+")) -> ("something" "is" "blue" "+"))
Harry is round.
True
1
proof
[(triple10)]
("Harry" "is" "round" "+")
triple10
Fiona is not rough.
False
1
inv-proof
[(triple5)]
("Fiona" "is" "rough" "-")
triple5
Fiona is not kind.
True
3
proof
[(((triple6 triple4) -> rule1) OR ((triple6 ((triple5) -> rule3)) -> rule1))]
("Fiona" "is" "kind" "-")
((triple6 triple4) -> (rule1 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1
((triple6 ((triple5) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is kind.
False
3
inv-proof
[(((triple6 triple4) -> rule1) OR ((triple6 ((triple5) -> rule3)) -> rule1))]
("Fiona" "is" "kind" "+")
((triple6 triple4) -> (rule1 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1
((triple6 ((triple5) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "blue" "-")
Erin is blue.
Unknown
rconc
[@1: Erin is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "blue" "+")
Harry is not smart.
Unknown
inv-random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "-")
Fiona is smart.
Unknown
random
[@0: Fiona is smart.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "smart" "+")
@0: Erin is kind.[(triple1)] Erin is smart.[(triple2)] Fiona is big.[(triple3)] Fiona is blue.[(triple4 OR ((triple5) -> rule3))] Fiona is rough.[(triple5)] Fiona is round.[(triple6)] Fiona is young.[(triple7)] Harry is not kind.[(triple8)] Harry is not rough.[(triple9)] Harry is round.[(triple10)] @1: Erin is round.[(((triple1) -> rule2))] Fiona is not kind.[(((triple6 triple4) -> rule1) OR ((triple6 ((triple5) -> rule3)) -> rule1))]
Erin is kind.
("Erin" "is" "kind" "+")
triple1
Erin is smart.
("Erin" "is" "smart" "+")
triple2
Fiona is big.
("Fiona" "is" "big" "+")
triple3
Fiona is blue.
("Fiona" "is" "blue" "+")
triple4
((triple5) -> (rule3 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7
Harry is not kind.
("Harry" "is" "kind" "-")
triple8
Harry is not rough.
("Harry" "is" "rough" "-")
triple9
Harry is round.
("Harry" "is" "round" "+")
triple10
Erin is round.
("Erin" "is" "round" "+")
((triple1) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Fiona is not kind.
("Fiona" "is" "kind" "-")
((triple6 triple4) -> (rule1 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1
((triple6 ((triple5) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is not kind.
("Fiona" "is" "kind" "-")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2