Dave is nice. Dave is rough. Dave is smart. Dave is not young. Fiona is nice. Fiona is young. Gary is not blue. Gary is nice. Gary is young. Harry is furry. Harry is not rough. Harry is not young. All young, kind people are furry. If someone is furry and not smart then they are nice. If someone is smart then they are nice. Rough people are kind. If someone is smart then they are kind. Nice people are rough.
Dave is nice.
("Dave" "is" "nice" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is not young.
("Dave" "is" "young" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is not blue.
("Gary" "is" "blue" "-")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is not rough.
("Harry" "is" "rough" "-")
Harry is not young.
("Harry" "is" "young" "-")
All young, kind people are furry.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "furry" "+"))
If someone is furry and not smart then they are nice.
((("someone" "is" "furry" "+") ("someone" "is" "smart" "~")) -> ("someone" "is" "nice" "+"))
If someone is smart then they are nice.
((("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "+"))
Rough people are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is smart then they are kind.
((("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "+"))
Nice people are rough.
((("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Fiona is nice.
True
1
proof
[(triple5)]
("Fiona" "is" "nice" "+")
triple5
Gary is blue.
False
1
inv-proof
[(triple7)]
("Gary" "is" "blue" "+")
triple7
Gary is rough.
True
2
proof
[(((triple8) -> rule6))]
("Gary" "is" "rough" "+")
((triple8) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is not rough.
False
2
inv-proof
[(((triple8) -> rule6))]
("Gary" "is" "rough" "-")
((triple8) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Fiona is kind.
True
3
proof
[(((((triple5) -> rule6)) -> rule4))]
("Fiona" "is" "kind" "+")
((((triple5) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is not kind.
False
3
inv-proof
[(((((triple5) -> rule6)) -> rule4))]
("Fiona" "is" "kind" "-")
((((triple5) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Gary is furry.
True
5
proof
[(((triple9 ((((triple8) -> rule6)) -> rule4)) -> rule1))]
("Gary" "is" "furry" "+")
((triple9 ((((triple8) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is not furry.
False
5
inv-proof
[(((triple9 ((((triple8) -> rule6)) -> rule4)) -> rule1))]
("Gary" "is" "furry" "-")
((triple9 ((((triple8) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Dave is not furry.
Unknown
inv-rconc
[@1: Dave is furry.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "furry" "-")
Harry is kind.
Unknown
rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "kind" "+")
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "nice" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Gary is smart.
Unknown
random
[@0: Gary is smart.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "smart" "+")
Fiona is not blue.
Unknown
inv-random
[@0: Fiona is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "blue" "-")
Harry is smart.
Unknown
random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "+")
@0: Dave is nice.[(triple1 OR ((triple3) -> rule3))] Dave is not young.[(triple4)] Dave is rough.[(triple2 OR ((triple1) -> rule6) OR ((((triple3) -> rule3)) -> rule6))] Dave is smart.[(triple3)] Fiona is nice.[(triple5)] Fiona is young.[(triple6)] Gary is nice.[(triple8)] Gary is not blue.[(triple7)] Gary is young.[(triple9)] Harry is furry.[(triple10)] Harry is not rough.[(triple11)] Harry is not young.[(triple12)] @1: Dave is kind.[(((triple2) -> rule4) OR ((triple3) -> rule5) OR ((((triple1) -> rule6)) -> rule4) OR ((((((triple3) -> rule3)) -> rule6)) -> rule4))] Fiona is rough.[(((triple5) -> rule6))] Gary is rough.[(((triple8) -> rule6))] @2: Fiona is kind.[(((((triple5) -> rule6)) -> rule4))] Gary is kind.[(((((triple8) -> rule6)) -> rule4))] @3: Fiona is furry.[(((triple6 ((((triple5) -> rule6)) -> rule4)) -> rule1))] Gary is furry.[(((triple9 ((((triple8) -> rule6)) -> rule4)) -> rule1))]
Dave is nice.
("Dave" "is" "nice" "+")
triple1
((triple3) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is not young.
("Dave" "is" "young" "-")
triple4
Dave is rough.
("Dave" "is" "rough" "+")
triple2
((triple1) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((((triple3) -> (rule3 % int2))) -> (rule6 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is nice.
("Dave" "is" "nice" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
triple3
Fiona is nice.
("Fiona" "is" "nice" "+")
triple5
Fiona is young.
("Fiona" "is" "young" "+")
triple6
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is not blue.
("Gary" "is" "blue" "-")
triple7
Gary is young.
("Gary" "is" "young" "+")
triple9
Harry is furry.
("Harry" "is" "furry" "+")
triple10
Harry is not rough.
("Harry" "is" "rough" "-")
triple11
Harry is not young.
("Harry" "is" "young" "-")
triple12
Dave is kind.
("Dave" "is" "kind" "+")
((triple2) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((triple3) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
((((triple1) -> (rule6 % int2))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((((((triple3) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple5) -> (rule6 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple8) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((((triple5) -> (rule6 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((((triple8) -> (rule6 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple6 ((((triple5) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
((triple9 ((((triple8) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3