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