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