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